Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Blackburn, P.  [Clear All Filters]
2014
C. Areces, P. Blackburn, Huertas, A., and M. Manzano, “Completeness in Hybrid Type Theory”, Journal of Philosophical Logic, vol. 43, p. 209–238, 2014.