International projects source: SICRIS

Foundations of Type Theory for Computation and Mathematics

Edit
Organisations (1) , Researchers (1)
1554  University of Ljubljana, Faculty of Mathematics and Physics
no. Code Name and surname Research area Role Period No. of publications
1.  15854  PhD Andrej Bauer  Mathematics  Head  2017 - 2020  214 
Confirmation required
Views history
Favourite