3 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
Call: PRELUDIUM 22 , Panel: HS1
Principal investigator: Tomasz Krawczyk
Uniwersytet Jagielloński, Collegium Medicum
Call: OPUS 13 , Panel: NZ9
Principal investigator: dr Franklin Gregory
Instytut Genetyki Roślin Polskiej Akademii Nauk