Danko Ilik

Statistics

Publications

Citations

H-Index

Active since

2010

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

École Polytechnique

Université Paris Cité

Centre National de la Recherche Scientifique

Laboratoire d'Informatique de l'École Polytechnique

Danko Ilik is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, predicate logic, and mathematics.

ORCID

Publications per year

2010–2014

Publications

Kripke models for classical logic

Danko Ilik, Gyesik Lee, Hugo Herbelin · Annals of Pure and Applied Logic · 2010 · 21 citations · Full text

Humanities, Computer Science, Mathematics +10

Delimited control operators prove Double-negation Shift

Danko Ilik · Annals of Pure and Applied Logic · 2011 · 13 citations · Full text

Natural Sciences, Computer Systems, Syntax +3

Continuation-passing style models complete for intuitionistic logic

Danko Ilik · Annals of Pure and Applied Logic · 2012 · 13 citations · Full text

Humanities, Computer Science, Mathematics +13

Axioms and decidability for type isomorphism in the presence of sums

Danko Ilik · 2014 · 12 citations · Full text

Natural Sciences, Computer Science, Mathematics +10

1–4 of 4