TY  - RPRT
TI  - An Introduction to the Clocked Lambda Calculus
AU  - Jörg Endrullis
AU  - Dimitri Hendriks
AU  - Jan Willem Klop
AU  - Andrew Polonsky
PY  - 2014
DO  - 10.1017/s0960129515000389
UR  - https://arxiv.org/abs/1405.7500
ID  - 1405.7500
ER  -