Lista de

2008
1019
Journal of Logic and Computation
1
"The expansion problem in lambda calculi with explicit substitution" (2008) Arbiser, A. Journal of Logic and Computation. 18(6):849-883