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