Active Bibliography

1 Normalization Properties of Symmetric Logical Calculi – Peter Battyanyi - 2009
110 A New Deconstructive Logic: Linear Logic – Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx - 1995
5 Curry-Howard Term Calculi for Gentzen-Style Classical Logic – Alexander J. Summers, Alexander Summers - 2008
766 Notions of Computation and Monads – Eugenio Moggi - 1991
552 Lambda Calculi with Types – Henk Barendregt - 1993
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
941 Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer – Peter W. Shor - 1997
1096 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993