Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane
76,25 €
A categorical approach to realizability and polymorphic types. - Rule-based semantics for an extended lambda-calculus. - Semantics of block structured languages with pointers. - Assertional categories.
Jetzt bei Ebay:
