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