1 projects found matching your search criteria :
Quantitative aspects of computational complexity in lambda calculus
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: dr Maciej Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki