Models of sharing graphs a categorical semantics of let and letrec

• Κύριος συγγραφέας: Hasegawa, Masahito
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: London Springer 1999
• Σειρά: Distinguished dissertations
• Θέματα: Γλώσσες προγραμματισμού; Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: xii, 134 p. fig. 24 cm.
• Βιβλιογραφία: Includes bibliography and index
• ISBN: 1852331453