Lambda calculus with patterns

J.W. Klop, V. van Oostrom, R.C. de Vrijer

Research output: Contribution to JournalArticleAcademicpeer-review


In this paper we revisit the λ-calculus with patterns, originating from the practice of functional programming language design. We treat this feature in a framework ranging from pure λ-calculus to orthogonal combinatory reduction systems. © 2008.
Original languageEnglish
Pages (from-to)16-31
JournalTheoretical Computer Science
Issue number1-3
Publication statusPublished - 2008

Bibliographical note


Fingerprint Dive into the research topics of 'Lambda calculus with patterns'. Together they form a unique fingerprint.

Cite this