Sign in

A Modest Model of Records, Inheritance and Bounded Quantification

Kim B. BruceGiuseppe Longo
Published in: LICS (1988)
Keyphrases