Lambda calculus with patterns

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

Research output: Contribution to JournalArticleAcademicpeer-review

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

Mathematics

Engineering & Materials Science