Publications by the researcher in collaboration with Patrick Blackburn (1)

2011

  1. Hybrid type theory: a quartet in four movements

    Principia: an international journal of epistemology, Vol. 15, Núm. 2, pp. 225-247