Lienar-Time Self-Interpretation of the Pure Lambda Calculus

Originalsprog	Engelsk
Tidsskrift	Higher-Order and Symbolic Computation
Udgave nummer	Vol.13 (3)
Sider (fra-til)	217-237
ISSN	1388-3690
Status	Udgivet - 2000

Citationsformater