Items where Author is "Spadetto, Matteo"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

Spadetto, Matteo ORCID: https://orcid.org/0000-0002-6495-7405 (2024) On the syntax and the semantics of propositional dependent type theories. PhD thesis, University of Leeds.

This list was generated on Wed Feb 5 01:24:56 2025 GMT.