Buscar por Autor
Mostrando resultados 1 a 3 de 3
Fecha de publicación | Título | Autor(es) |
2014-07 | A semantics for equational hybrid propositional type theory | Manzano Arjona, María; Martins, Manuel A.; Huertas, M. Antonia; Universidade de Aveiro; Universidad de Salamanca; Universitat Oberta de Catalunya (UOC) |
2018-10-20 | Completeness in Equational Hybrid Propositional Type Theory | Manzano Arjona, María; Martins, Manuel A.; Huertas, M. Antonia |
2011-01 | Hybrid type theory: a quartet in four movements | Areces, Carlos; Blackburn, Patrick; Huertas, M. Antonia; Manzano Arjona, María; Universidad Nacional de Córdoba; University of Roskilde; Universidad de Salamanca; Universitat Oberta de Catalunya (UOC) |