Projects search

• Principal investigator: Marek Zaionc ×

Change search criteria ↓

Search results

2 projects found matching your search criteria:

1. 1. 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

2. 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