Projects search

• Keywords: transformacje programów ×

Change search criteria ↓

Search results

2 projects found matching your search criteria:

1. 1. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

   Principal investigator: dr Małgorzata Biernacka

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 2, Panel: ST6

2. 2. Just energy transition of households in Central and Eastern Europe

   Principal investigator: dr Liliia Karpinska

   UNIWERSYTET EKONOMICZNY W KRAKOWIE, Kolegium Ekonomii i Finansów

   Call: SONATA 19, Panel: HS4