Skip to content

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

Peter Selinger

VenueA*LICS
Year1996
ProceedingsLICS

Browse the full LICS paper archive.