𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus

✍ Scribed by Martin Hyland; Misao Nagayama; John Power; Giuseppe Rosolini


Book ID
108126691
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
333 KB
Volume
161
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES