Lambda calculus: models and theories

Cached

Download Links

by Antonino Salibra
Venue:Proceedings of the Third AMAST Workshop on Algebraic Methods in Language Processing (AMiLP-2003), number 21 in TWLT Proceedings, pages 39–54, University of Twente, 2003. Invited Lecture
Citations:2 - 0 self