Gå direkt till innehållet
MetaSoft Primer
Spara

MetaSoft Primer

The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations.
Undertitel
Towards a Metalanguage for Applied Denotational Semantics
Författare
Andrzej Blikle
Upplaga
1987 ed.
ISBN
9783540186571
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1987-11-25
Sidor
148