Search results
2 projects found matching your search criteria:
-
1. 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
-
2. 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