Search results
4 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. Combinatorial and descriptive properties of ideals on countable sets.
Principal investigator: dr Adam Marek Kwela
Instytut Matematyczny Polskiej Akademii Nauk
Call: PRELUDIUM 4, Panel: ST1
-
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
-
4. Set-theoretic aspects of topological selections
Principal investigator: dr Piotr Jan Szewczak
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych
Call: WEAVE-UNISONO, Panel: ST1