Publicacións nas que colabora con VÍCTOR ARANDA UTRERO (4)

2024

  1. Propositional Type Theory of Indeterminacy

    Studia Logica

2023

  1. HYBRID PARTIAL TYPE THEORY

    Journal of Symbolic Logic

2022

  1. Many-Sorted Logic

    Stanford Encyclopedia of Philosophy Archive : (Winter 2022 Edition)

2021

  1. Actas del X Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Salamanca, 16-19 de noviembre de 2021

    Instituto de Estudios de la Ciencia y la Tecnología