Lambda calculus: models and theories (2003)

by Antonino Salibra
Venue:In AMiLP-2003, number 21 in TWLT Proceedings