Clocked lambda calculus

Jörg Endrullis*, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Clocked lambda calculus <sup>†</sup>'. Together they form a unique fingerprint.

Mathematics