Showing 1 - 6 results of 6 for search 'Łukasz Czajka', query time: 0.03s Refine Results
  1. 1
    A new coinductive confluence proof for infinitary lambda calculus

    A new coinductive confluence proof for infinitary lambda calculus by Łukasz Czajka

    Published 2020-03-01
    Get full text
    Article
  2. 2
    An operational interpretation of coinductive types

    An operational interpretation of coinductive types by Łukasz Czajka

    Published 2020-02-01
    Get full text
    Article
  3. 3
    Obcy jako komuniści

    Obcy jako komuniści by Łukasz Czajka

    Published 2022-06-01
    Get full text
    Article
  4. 4
    Goal Translation for a Hammer for Coq (Extended Abstract)

    Goal Translation for a Hammer for Coq (Extended Abstract) by Łukasz Czajka, Cezary Kaliszyk

    Published 2016-06-01
    Get full text
    Article
  5. 5
    Pharmaceutical Care for pediatric and adult patients in acute or chronic rhinosinusitis according to the EPOS 2020 guidelines

    Pharmaceutical Care for pediatric and adult patients in acute or chronic rhinosinusitis according to the EPOS 2020 guidelines by Magdalena Beata Skarzynska, Łukasz Czajka

    Published 2021-01-01
    Get full text
    Article
  6. 6
    Autumn migration of Ospreys from two distinct populations in Poland reveals partial migratory divide

    Autumn migration of Ospreys from two distinct populations in Poland reveals partial migratory divide by Dariusz Anderwald, Łukasz Czajka, Sławomir Rubacha, Michał Zygmunt, Paweł Mirski

    Published 2021-09-01
    Get full text
    Article

Search Tools: