Edit Profile Ilik, Danko Compute Distance To: Compute Author ID: ilik.danko Published as: Ilik, Danko Homepage: http://www.speleologic.net/ External Links: MGP · Wikidata · MathOverflow · ORCID · dblp Documents Indexed: 8 Publications since 2007 Reviewing Activity: 8 Reviews Co-Authors 5 single-authored 1 Brock-Nannestad, Taus 1 Herbelin, Hugo 1 Lee, Gyesik 1 Nakata, Keiko Serials 3 Annals of Pure and Applied Logic 1 Mathematical Logic Quarterly (MLQ) Fields 8 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) Publications by Year Citations contained in zbMATH 4 Publications have been cited 7 times in 6 Documents Cited by ▼ Year ▼ Kripke models for classical logic. Zbl 1225.03009Ilik, Danko; Lee, Gyesik; Herbelin, Hugo 3 2010 Delimited control operators prove double-negation shift. Zbl 1251.03033Ilik, Danko 2 2012 The exp-log normal form of types: decomposing extensional equality and representing terms compactly. Zbl 1380.68093Ilik, Danko 1 2017 Continuation-passing style models complete for intuitionistic logic. Zbl 1270.03124Ilik, Danko 1 2013 The exp-log normal form of types: decomposing extensional equality and representing terms compactly. Zbl 1380.68093Ilik, Danko 1 2017 Continuation-passing style models complete for intuitionistic logic. Zbl 1270.03124Ilik, Danko 1 2013 Delimited control operators prove double-negation shift. Zbl 1251.03033Ilik, Danko 2 2012 Kripke models for classical logic. Zbl 1225.03009Ilik, Danko; Lee, Gyesik; Herbelin, Hugo 3 2010 all top 5 Cited by 8 Authors 1 Akama, Yohji 1 Bickford, Mark 1 Constable, Robert Lee 1 Doczkal, Christian 1 Ilik, Danko 1 Liang, Chuck 1 Schlichtkrull, Anders 1 Smolka, Gert Cited in 3 Serials 2 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science Cited in 2 Fields 6 Mathematical logic and foundations (03-XX) 4 Computer science (68-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.