María Manzano, Antonia Huertas, Patrick Blackburn, Manuel A. Martins 0001, Víctor Aranda. Hybrid Partial Type Theory. Journal of Symbolic Logic, 90(1):321-363, 2025. [doi]
@article{ManzanoHBMA25,
title = {Hybrid Partial Type Theory},
author = {María Manzano and Antonia Huertas and Patrick Blackburn and Manuel A. Martins 0001 and Víctor Aranda},
year = {2025},
doi = {10.1017/jsl.2023.33},
url = {https://doi.org/10.1017/jsl.2023.33},
researchr = {https://researchr.org/publication/ManzanoHBMA25},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {90},
number = {1},
pages = {321-363},
}