Matteo Spadetto

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Theoretical Framework

Social Bookmarking

Rule Extraction

Logical Representation

Top Venues

J. Log. Comput.

Publications

Davide Trotta, Matteo Spadetto, Valeria de Paiva
Dialectica principles via Gödel doctrines. Theor. Comput. Sci. 947 (2023)
Matteo Spadetto
A conservativity result for homotopy elementary types in dependent type theory. CoRR (2023)
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Dialectica Logical Principles. LFCS (2022)
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Dialectica logical principles: not only rules. J. Log. Comput. 32 (8) (2022)
Davide Trotta, Matteo Spadetto, Valeria de Paiva
The Gödel Fibration. MFCS (2021)