Travelled to:1 × Austria
1 × Poland
Collaborated with:∅
Talks about:infinitari (2) confluenc (2) orthogon (1) coinduct (1) calculus (1) system (1) rewrit (1) proof (1) term (1) near (1)
Person: Lukasz Czajka
DBLP: Czajka:Lukasz
Contributed to:
20152014Wrote 2 papers:
- RTA-2015-Czajka #confluence #orthogonal #term rewriting
- Confluence of nearly orthogonal infinitary term rewriting systems (LC), pp. 106–126.
- RTA-TLCA-2014-Czajka #confluence #induction #proving #λ-calculus
- A Coinductive Confluence Proof for Infinitary λ-Calculus (LC), pp. 164–178.