Hybrid type theory: a quartet in four movements
Carlos Areces, Patrick Blackburn, María Antonia Huertas Sánchez, María Gracia Manzano Arjona
págs. 225-247
págs. 249-270
págs. 271-286
págs. 287-302
págs. 303-332
págs. 303-332
págs. 333-347
págs. 349-360
págs. 361-379
© 2001-2024 Fundación Dialnet · Todos los derechos reservados