GIUSEPPE LONGO, MARIANGIOLA DEZANI-CIANCAGLINI, JONATHAN P. SELDIN
pág. 321
A new method for establishing conservativity of classical systems over their intuitionistic version
MARTIN HOFMANN, THIERRY COQUAND
págs. 323-333
Some logical and syntactical observations concerning the first-order dependent type system λP
HERMAN GEUVERS, ERIK BARENDSEN
págs. 335-359
págs. 361-365
págs. 367-401
FURIO HONSELL, MARINA LENISA
págs. 403-435
A semantics for lambda calculi with resources
CAROLINA LAVATELLI, GÉRARD BOUDOL, Pierre-Louis Curien
págs. 437-482
Extending partial combinatory algebras
INGE BETHKE, JAN WILLEM KLOP, ROEL de VRIJER
págs. 483-505
NORMAN DANNER, DANIEL LEIVANT
págs. 507-522
© 2001-2024 Fundación Dialnet · Todos los derechos reservados