Projects search

• Keywords: language of operation ×

Change search criteria ↓

Search results

6 projects found matching your search criteria:

1. 1. How language of operation constrains communication of affect: Fundamental neurocognitive insights for a multilingual, em…

   Principal investigator: prof. Guillaume Laurent Thierry

   Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

   Call: OPUS 22, Panel: HS6

2. 2. 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

3. 3. Abstract Machines for Programming Languages: Investigations in Formal Interderivations

   Principal investigator: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 17, Panel: ST6

4. 4. Reasoning about programs in higher-order languages

   Principal investigator: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 8, Panel: ST6

5. 5. Operational theories of the statutory interpretation as an act of the pragmatics

   Principal investigator: dr hab. Artur Jerzy Kotowski

   Akademia Leona Koźmińskiego

   Call: SONATA 8, Panel: HS5

6. 6. Algorithms concerning the legibility of natural deduction proofs

   Principal investigator: dr Karol Pąk

   Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

   Call: PRELUDIUM 4, Panel: ST6