Login / Signup

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

Peter Selinger
Published in: LICS (1996)
Keyphrases