The lambda-context calculus (extended ve
β
Murdoch J. Gabbay; StΓ©phane Lengrand
π
Article
π
2009
π
Elsevier Science
π
English
β 405 KB