Travelled to:1 × Austria
1 × United Kingdom
Collaborated with:∅
Talks about:normal (2) type (2) sum (2) extension (1) isomorph (1) decompos (1) presenc (1) delimit (1) control (1) continu (1)
Person: Danko Ilik
DBLP: Ilik:Danko
Contributed to:
2014
2014
2017Wrote 3 papers:
- LICS-CSL-2014-Ilik #axiom #decidability #morphism
- Axioms and decidability for type isomorphism in the presence of sums (DI), p. 7.
- PPDP-2014-Ilik #continuation #normalisation #proving #tutorial
- Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.
- POPL-2017-Ilik #normalisation #representation #similarity
- The exp-log normal form of types: decomposing extensional equality and representing terms compactly (DI), pp. 387–399.