학술논문
The lambda-context calculus (extended version)
Document Type
Article
Author
Source
In: Information and Computation . (Information and Computation, December 2009, 207(12):1369-1400)
Subject
Language
English
ISSN
08905401
10902651
10902651