Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:Chalmers_University_of_Technology
|
| gptkbp:doctoralAdvisor |
gptkb:Peter_Dybjer
|
| gptkbp:employer |
gptkb:Stockholm_University
|
| gptkbp:field |
gptkb:logic
gptkb:mathematics gptkb:homotopy_type_theory proof assistants formalization of mathematics |
| gptkbp:hasORCID |
0000-0002-7300-5153
|
| https://www.w3.org/2000/01/rdf-schema#label |
Anders Mörtberg
|
| gptkbp:nationality |
Swedish
|
| gptkbp:notableWork |
gptkb:Cubical_Type_Theory
contributions to Agda contributions to Coq |
| gptkbp:occupation |
gptkb:mathematician
|
| gptkbp:website |
https://www.math.su.se/~amortberg/
|
| gptkbp:bfsParent |
gptkb:Cubical_Type_Theory
|
| gptkbp:bfsLayer |
6
|