The HasCasl prologue: categorical syntax and semantics of the partial λ-calculus (2006)
by
Lutz Schröder
| Venue: | COMPUT. SCI |
| Citations: | 6 - 4 self |
Document Versions
| The HasCasl prologue: categorical syntax and semantics of the partial λ-calculus –Lutz Schröder — 2006 — COMPUT. SCI |
