ℹ️
🇬🇧
Search
Search for people relevant for "typed lambda calculus"
typed lambda calculus
Person
Class
Person
Publication
Programmes
Export current view
person
Mgr. Tomáš Křen
Faculty of Mathematics and Physics
person
prof. RNDr. Jaroslav Pokorný CSc.
Faculty of Mathematics and Physics
