Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Semantics for Homotopy Type Theory
2019-01-01 Bonacina, Roberta
Well quasi orders in a categorical setting
2019-01-01 Benini, Marco; Bonacina, Roberta
Natural Numbers in Homotopy Type Theory
2020-01-01 Benini, Marco; Bonacina, Roberta
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Semantics for Homotopy Type Theory | 1-gen-2019 | Bonacina, Roberta | |
Well quasi orders in a categorical setting | 1-gen-2019 | Benini, Marco; Bonacina, Roberta | |
Natural Numbers in Homotopy Type Theory | 1-gen-2020 | Benini, Marco; Bonacina, Roberta | |
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 |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile