Search results
3 projects found matching your search criteria:
-
1. Quantitative aspects of computational complexity in lambda calculus
Principal investigator: dr Maciej Maria Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 11, Panel: ST6
-
2. Asymptotic methods in lambda calculus and combinatory logic
Principal investigator: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 6, Panel: ST6
-
3. Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?
Principal investigator: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 16, Panel: ST6