Skip to main content
Conference Proceedings

A second-order pattern matching algorithm for the cube of typed λ-calculi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1991) 520 LNCS 151-160
DOI: 10.1007/3-540-54345-7_58
12Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.
Get full text

Abstract

In [16] [17] Huet gives an algorithm for second-order pattern matching in the simply typed λ-calcuius. We generalize this algorithm to the calculi of Barendregt’s cube [1]. The same result is presented in a longer paper where proofs are given [8].

Cite

CITATION STYLE

APA

Dowek, G. (1991). A second-order pattern matching algorithm for the cube of typed λ-calculi. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 520 LNCS, pp. 151–160). Springer Verlag. https://doi.org/10.1007/3-540-54345-7_58

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free