Active Bibliography

1507 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
568 Term Rewriting Systems – J. W. Klop - 1992
306 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
238 Temporal Reasoning Based on Semi-Intervals – Christian Freksa, Technische Universität München, Robert Fulton - 1992
236 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986
Tesi di Perfezionamento Quantified Modal Logic and the Ontology of Physical Objects CANDIDATO: RELATORE: – Scuola Normale Superiore, Anno Accademico, Dott F. Belardinelli, Chiar. Mo Prof, M. Mugnai
226 Report on the programming language haskell — A non-strict, purely functional language (version 1.2 – P Hudak, S P Jones, P Wadler - 1992