Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:online_seminar_series
|
| gptkbp:abbreviation |
HoTTEST
|
| gptkbp:focusesOn |
gptkb:Homotopy_Type_Theory
|
| gptkbp:format |
online talks
|
| gptkbp:language |
English
|
| gptkbp:relatedTo |
gptkb:Type_Theory
gptkb:Category_Theory Univalent Foundations |
| gptkbp:targetAudience |
gptkb:mathematician
computer scientists |
| gptkbp:website |
https://hott-uf.github.io/seminar/
|
| gptkbp:bfsParent |
gptkb:HoTT_community
|
| gptkbp:bfsLayer |
8
|
| http://www.w3.org/2000/01/rdf-schema#label |
HoTT electronic seminar
|