Sequent combinators: a Hilbert system for the lambda calculus
J. GOUBAULT-LARRECQ, H. GOGUEN
págs. 1-80
Topological representation of the Lambda-calculus
S. AWODEY
págs. 81-96
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: