![](/img/cover-not-exists.png)
A Nominal Axiomatization of the Lambda Calculus
Gabbay, M. J., Mathijssen, A.Volume:
20
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exp049
Date:
April, 2010
File:
PDF, 363 KB
english, 2010