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. Theoretical foundations of interactive theorem provers with unrestricted recursive definitions
Principal investigator: Łukasz Tadeusz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 4, Panel: ST6