Active Bibliography

Variables – Josh Deversity
560 On the Plurality of Worlds – David Lewis, Louis Derosset - 1986
827 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
755 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1707 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
601 Term Rewriting Systems – J. W. Klop - 1992
354 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
270 Temporal Reasoning Based on Semi-Intervals – Christian Freksa, Technische Universit√§t M√ľnchen, Robert Fulton - 1992
251 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986