págs. 3-20
HOL-Lambdasigma: an intentional first-order expression of higher-order logic
T. Hardin, C. Kirchner, G. Dowek
págs. 21-46
págs. 47-90
págs. 91-130
Cut rules and explicit substitutions
R. Vestergaard
págs. 131-168
A Lambda-calculus with explicit weakening and explicit substitution
R. David, B. Guillaume
págs. 169-206
© 2001-2024 Fundación Dialnet · Todos los derechos reservados