A Continuum of Theories of Lambda Calculus Without Semantics (2001)

Cached

Download Links

by Antonino Salibra
Venue:16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2001), IEEE COMPUTER
Citations:16 - 11 self