Danko Ilik - RankMe

23 papers A* 1C 1Journal 15Unranked 5

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