Le Fun: Logic, equations, and Functions (1987)

by Hassan Aït-kaci , Patrick Lincoln , Roger Nasr
Venue:In Proc. 4th IEEE Internat. Symposium on Logic Programming
Citations:44 - 1 self

Active Bibliography

10 Induction principles formalized in the Calculus of Constructions – Gérard Huet - 1988
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
25 A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations – Gopalan Nadathur - 1996
12 A Notation for Lambda Terms II: Refinements and Applications – Gopalan Nadathur - 1994
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
3 Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs – James L. Caldwell, II - 1998
20 On The Algebraic Models Of Lambda Calculus – Antonino Salibra - 1997
The Coq Proof Assistant - Reference Manual V 5.10 – Cristina Cornes, Judicaël Courant, Jean-Christophe Filliâtre, Gérard Huet, Chetan Murthy, César Muñoz, Catherine Parent, Amokrane Saibi Benjamin Werner, Calcul Symbolique, Pascal Manoury, Pascal Manoury, Amokrane Saibi, Benjamin Werner, Projet Coq - 1995
2 The Coq Proof Assistant - Reference Manual Version 6.1 – Jean-Christophe Filliâtre, Hugo Herbelin, Bruno Barras, Bruno Barras, Samuel Boutin, Eduardo Giménez, Samuel Boutin, Gérard Huet, César Muñoz, Cristina Cornes, Cristina Cornes, Judicaël Courant, Judicael Courant, Chetan Murthy, Chetan Murthy, Catherine Parent, Catherine Parent, Christine Paulin-mohring, Christine Paulin-mohring, Amokrane Saibi, Amokrane Saibi, Benjamin Werner, Benjamin Werner - 1997
2 Applying Universal Algebra to Lambda Calculus – Giulio Manzonetto, Antonino Salibra - 2007
46 Specifying and Implementing Theorem Provers in a Higher-Order Logic Programming Language – Amy P. Felty, Dale Miller, Jean Gallier, Amy P. Felty, Supervisor Dale Miller - 1989
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
36 A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework – Frank Pfenning - 1992
33 A Notation for Lambda Terms I: A Generalization of Environments – Gopalan Nadathur, Debra Sue Wilson - 1994
19 Higher Order Logic – Daniel Leivant - 1994
25 Extensions and Applications of Higher-order Unification – Conal M. Elliott - 1990
5 Equivalences between Logics and their Representing Type Theories – Philippa Gardner - 1992
Abstraction-Based Genetic Programming By – Franck J. L. Binard