Danko Ilik - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2019

An intuitionistic formula hierarchy based on high-school identitiesTaus Brock-Nannestad, Danko Ilik. mlq, 65(1):57-79, 2019. [doi]

2017

The exp-log normal form of types: decomposing extensional equality and representing terms compactlyDanko Ilik. POPL 2017: 387-399 [doi]

Perspectives for Proof Unwinding by Programming Languages TechniquesDanko Ilik. flap, 4(10):3483-3504, 2017. [doi]

2014

Axioms and decidability for type isomorphism in the presence of sumsDanko Ilik. csl 2014: 53 [doi]

Proofs in continuation-passing style: normalization of Gödel's System T extended with sums and delimited control operators: Distilled TutorialDanko Ilik. ppdp 2014: 55-56 [doi]

2013

Continuation-passing style models complete for intuitionistic logicDanko Ilik. APAL, 164(6):651-662, 2013. [doi]

A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control OperatorsDanko Ilik, Keiko Nakata. TYPES 2014: 188-201 [doi]

An achievable Pre-log Region for the Non-coherent Block Fading MIMO Multiple Access ChannelZoran Utkovski, Danko Ilik, Ljupco Kocarev. iswcs 2013: 1-5 [doi]

2012

Delimited control operators prove Double-negation ShiftDanko Ilik. APAL, 163(11):1549-1559, 2012. [doi]

2010

Kripke models for classical logicDanko Ilik, Gyesik Lee, Hugo Herbelin. APAL, 161(11):1367-1378, 2010. [doi]

Constructive Completeness Proofs and Delimited Control. (Preuves constructives de complétude et contrôle délimité)Danko Ilik. PhD thesis, École Polytechnique, Palaiseau, France, 2010. [doi]

2006

Zermelo s Well-Ordering Theorem in Type TheoryDanko Ilik. TYPES 2007: 175-187 [doi]

Sign in or sign up to see more results.

runs on WebDSL