3 projects found matching your search criteria :
Reasoning about programs in higher-order languages
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Jarosław Ksawery Bąk
Politechnika Poznańska, Wydział Elektryczny
Aspects of lexicalisation of multi-words expressions in relational semantics perspective
Call: OPUS 17 , Panel: HS2
Principal investigator: dr hab. Maciej Tomasz Piasecki
Politechnika Wrocławska