A lambda-calculus with constructors

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4098 LNCS, Issue , 2006, Pages 181-196

  Arbiser, Ariel ^a   Miquel, Alexandre ^b   Ríos, Alejandro ^a  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SYSTEMS; PATTERN MATCHING; THEOREM PROVING;

LAMBDA-CALCULUS; SEPARATION THEOREMS;

DIFFERENCE EQUATIONS;

EID: 33749412088     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11805618_14     Document Type: Conference Paper

References (14)

1. A. Arbiser, A. Miquel, and A. Ríos. A λ-calculus with constructors. Manuscript, available from the web pages of the authors, 2006.
2. F. Baader and T. Nipkow. Rewriting and All That. Addison-Wesley, 1999.
3. H. Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and The Foundations of Mathematics. North-Holland, 1984.
4. C. Böhm, M. Dezani-Ciancaglini, P. Peretti, and S. Ronchi Della Rocha. A discrimination algorithm inside lambda-beta-calculus. Theoretical Computer Science, 8(3):265-291, 1979.
5. S. Cerrito and D. Kesner. Pattern matching as cut elimination. In Logics In Computer Science (LICS'99), pages 98-108, 1999.
6. A. Church. The calculi of lambda-conversion, volume 6 of Annals of Mathematical Studies. Princeton, 1941.
7. H. Cirstea and C. Kirchner. Rho-calculus, the rewriting calculus. In 5th International Workshop on Constraints in Computational Logics, 1998.
8. J.-Y. Girard. Locus solum: From the rules of logic to the logic of rules. Mathematical Structures in Computer Science, 11(3):301-506, 2001.
9. C. Barry Jay. The pattern calculus. ACM Transactions on Programming Languages and Systems, 26(6):911-937, 2004.
10. S. Peyton Jones et al. The Revised Haskell 98 Report. Cambridge Univ. Press, 2003. Also on http://haskell.org/.
11. W. Kahl. Basic Pattern Matching Calculi: A Fresh View on Matching Failure. In Y. Kameyama and P. Stuckey, editors, Functional and Logic Programming, Proceedings of FLOPS 2004, volume 2998 of LNCS, pages 276-290. Springer, 2004.
12. R. Milner, M. Tofte, and R. Harper. The definition of Standard ML. MIT Press, 1990.
13. The Objective Caml language, http://caml.inria.fr/.
14. V. van Oostrom. Lambda calculus with patterns. Technical Report IR-228, Vrije Universiteit, Amsterdam, 1990.