Filters
cris logo
-
New search Filters
Select from list
Displayed from Show more
You have reached the maximum number of displayed search results.
All results displayed
No results are available for the search performed
Displayed from
You have reached the maximum number of displayed search results.
All results displayed
Loading results
Obtaining statistical data

International projects source: SICRIS

Foundations of Type Theory for Computation and Mathematics

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