BONACINA, ROBERTA
BONACINA, ROBERTA
DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA
A proof-theoretical semantics for homotopy type theory
2020-01-01 Benini, Marco; Bonacina, Roberta
An Ad-Hoc Semantics to Study Structural Properties of Types
2021-01-01 Benini, Marco; Bonacina, Roberta
Natural Numbers in Homotopy Type Theory
2020-01-01 Benini, Marco; Bonacina, Roberta
Semantics for Homotopy Type Theory
2019-01-01 Bonacina, Roberta
Well quasi orders in a categorical setting
2019-01-01 Benini, Marco; Bonacina, Roberta
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A proof-theoretical semantics for homotopy type theory | 1-gen-2020 | Benini, Marco; Bonacina, Roberta | |
An Ad-Hoc Semantics to Study Structural Properties of Types | 1-gen-2021 | Benini, Marco; Bonacina, Roberta | |
Natural Numbers in Homotopy Type Theory | 1-gen-2020 | Benini, Marco; Bonacina, Roberta | |
Semantics for Homotopy Type Theory | 1-gen-2019 | Bonacina, Roberta | |
Well quasi orders in a categorical setting | 1-gen-2019 | Benini, Marco; Bonacina, Roberta |