![](/img/cover-not-exists.png)
Linear-Time Self-Interpretation of the Pure Lambda Calculus
Torben Æ. MogensenVolume:
13
Language:
english
Pages:
21
DOI:
10.1023/a:1010058213619
Date:
September, 2000
File:
PDF, 87 KB
english, 2000