Danko Ilik

ORCID

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 6

Top Venues

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Danko Ilik
Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms. CoRR (2019)
Taus Brock-Nannestad, Danko Ilik
An intuitionistic formula hierarchy based on high-school identities. Math. Log. Q. 65 (1) (2019)
Danko Ilik
The exp-log normal form of types: decomposing extensional equality and representing terms compactly. POPL (2017)
Danko Ilik
Perspectives for Proof Unwinding by Programming Languages Techniques. FLAP 4 (10) (2017)
Taus Brock-Nannestad, Danko Ilik
An Intuitionistic Formula Hierarchy Based on High-School Identities. CoRR (2016)
Danko Ilik
Perspectives for proof unwinding by programming languages techniques. CoRR (2016)
Danko Ilik, Zakaria Chihani
The Exp-Log Normal Form of Types and Canonical Terms for Lambda Calculus with Sums. CoRR (2015)
Danko Ilik
Axioms and Decidability for Type Isomorphism in the Presence of Sums. CoRR (2014)
Danko Ilik
Proofs in continuation-passing style: normalization of Gödel's System T extended with sums and delimited control operators: Distilled Tutorial. PPDP (2014)
Danko Ilik
Axioms and decidability for type isomorphism in the presence of sums. CSL-LICS (2014)
Zoran Utkovski, Danko Ilik, Ljupco Kocarev
An achievable Pre-log Region for the Non-coherent Block Fading MIMO Multiple Access Channel. ISWCS (2013)
Danko Ilik
Continuation-passing style models complete for intuitionistic logic. Ann. Pure Appl. Log. 164 (6) (2013)
Danko Ilik, Keiko Nakata
A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators. TYPES (2013)
Danko Ilik
Double-negation Shift as a constructive principle CoRR (2013)
Danko Ilik
A formalized type-directed partial evaluator for shift and reset COS (2013)
Danko Ilik, Keiko Nakata
A Constructive Proof of Open Induction Using Delimited Control Operators CoRR (2012)
Danko Ilik
Delimited control operators prove Double-negation Shift. Ann. Pure Appl. Log. 163 (11) (2012)
Danko Ilik
Continuation-passing Style Models Complete for Intuitionistic Logic CoRR (2011)
Danko Ilik
Delimited control operators prove Double-negation Shift CoRR (2010)
Danko Ilik, Gyesik Lee, Hugo Herbelin
Kripke models for classical logic. Ann. Pure Appl. Log. 161 (11) (2010)
Danko Ilik, Gyesik Lee, Hugo Herbelin
Kripke Models for Classical Logic CoRR (2009)
Danko Ilik
Zermelo's Well-Ordering Theorem in Type Theory. TYPES (2006)

Danko Ilik.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Danko Ilik