Canonical typing and Π-conversion in the Barendregt Cube (1996)

Cached

Download Links

by Fairouz Kamareddine , Rob Nederpelt
Citations:4 - 3 self

Active Bibliography

3 Canonical typing and Π-conversion – Fairouz Kamareddine, Rob Nederpelt - 1997
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
Term Reshuffling in the Barendregt Cube – Roel Bloo Fairouz, Fairouz Kamareddine, Rob Nederpelt
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
Redexes in Item Notation Classical Notation Item Notation – Fairouz Kamareddine, Λx. (λy. Λz. Zd)c)b)a →β - 2009
3 Reviewing the classical and the de Bruijn notation for λ-calculus and pure type systems – Fairouz Kamareddine - 2001
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
331 The relative efficiency of propositional proof systems – Stephen A. Cook, Robert, A. Reckhow - 1979
37 The Barendregt Cube with Definitions and Generalised Reduction – Roel Bloo, Fairouz Kamareddine, Rob Nederpelt - 1997