The HasCasl prologue: categorical syntax and semantics of the partial λ-calculus (2006)

by Lutz Schröder
Venue:COMPUT. SCI
Citations:6 - 4 self