Original languageUndefined
JournalProceedings of Science
StatePublished - 2015
Externally publishedYes

    Research areas

  • Axiomatic Method, Identity, Frege, Homotopy Type theory

ID: 5762238