Special issue: Modalities in type theory
M. Fairtlough
págs. 507-510
A judgmental reconstruction of modal logic
F. Pfenning
págs. 511-540
P. Aczel
págs. 541-554
Recursion over objects of functional type
J. Despeyroux
págs. 555-572
J. M. Howe
págs. 573-588
Extracting information from intermediate semiconstructive HA-systems - extended abstract
M. Ferrari, C. Fiorentini
págs. 589-596
© 2008-2024 Fundación Dialnet · Todos los derechos reservados