Towards lambda calculus order-incompleteness (2001)

by A Salibra
Venue:Workshop on Böhm theorem: applications to Computer Science Theory (BOTH 2001) Electronics Notes in Theoretical Computer Science