Order-incompleteness and finite lambda models. Extended abstract (1996)

by P Selinger
Venue:In Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science