Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

3 projects found matching your search criteria :

  1. Algebraic Effects and Continuations

    Call: POLONEZ 3 , Panel: ST6

    Principal investigator: dr Maciej Adam Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Semantics with continuations and dependent types: exploring mechanisms of natural language quantification

    Call: OPUS 12 , Panel: HS1

    Principal investigator: dr hab. Justyna Anna Grudzińska-Zawadowska

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy