Models of sharing graphs a categorical semantics of let and letrec

• Main Author: Hasegawa, Masahito
• Format: Book
• Language: English
• Published: London Springer 1999
• Series: Distinguished dissertations
• Subjects: Γλώσσες προγραμματισμού; Λογική, Συμβολική και μαθηματική
• Physical Description: xii, 134 p. fig. 24 cm.
• Bibliography: Includes bibliography and index
• ISBN: 1852331453