Applications of infinitary lambda calculus

H. Barendregt, J.W. Klop

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint Dive into the research topics of 'Applications of infinitary lambda calculus'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science