4 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 23 , Panel: HS1
Principal investigator: Paweł Robert Surowiec
Katolicki Uniwersytet Lubelski Jana Pawła II
Call: PRELUDIUM 22 , Panel: HS1
Principal investigator: Tomasz Ryszard Krawczyk
Uniwersytet Jagielloński, Collegium Medicum
Call: OPUS 13 , Panel: NZ9
Principal investigator: dr Franklin Gregory
Instytut Genetyki Roślin Polskiej Akademii Nauk