2 projects found matching your search criteria :
Structure and interpretation of programming languages in the "proofs-as-programs" paradigm
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Specificity of constitutional interpretation by European constitutional courts
Call: PRELUDIUM BIS 3 , Panel: HS5
Principal investigator: prof. Monika Florczak-Wątor
Uniwersytet Jagielloński, Wydział Prawa i Administracji