Order-incompleteness and finite lambda models (Extended Abstract) (1996)

by Peter Selinger
Venue:PROCEEDINGS OF THE 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, IEEE COMPUTER SOCIETY
Citations:10 - 2 self