Interests
Computer science
Mathematical logic апd foundations
Type theory
Biography
Nationality:
Slovenian