Založit si vlastní profil
Veřejný přístup
Zobrazit všechny9 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Andrej BauerUniversity of LjubljanaE-mailová adresa ověřena na: andrej.com
- Kohei KishidaDepartment of Philosophy, University of Illinois at Urbana-ChampaignE-mailová adresa ověřena na: illinois.edu
- Nicola GambinoDepartment of Mathematics, University of ManchesterE-mailová adresa ověřena na: manchester.ac.uk
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Dana ScottVisiting Scholar, UC BerkeleyE-mailová adresa ověřena na: cs.cmu.edu
- Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm UniversityE-mailová adresa ověřena na: math.su.se