Active Bibliography

751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
734 Notions of Computation and Monads – Eugenio Moggi - 1991
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
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
895 Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer – Peter W. Shor - 1997
568 Term Rewriting Systems – J. W. Klop - 1992