A Modest Model of Records, Inheritance and Bounded Quantification

Kim B. Bruce, Giuseppe Longo

Browse the full LICS paper archive.