Order-Incompleteness and Finite Lambda Models (Extended Abstract) (1996)

by Peter Selinger
Venue:Eleventh Annual IEEE Symposium on Logic in Computer Science
Citations:10 - 2 self