Danko Ilik

MaRDI QIDQ450949zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Type directed partial evaluation for level-1 shift and reset	2021-09-09	Paper
Type directed partial evaluation for level-1 shift and reset (available as arXiv preprint)	2021-09-09	Paper
An intuitionistic formula hierarchy based on high‐school identities Mathematical Logic Quarterly	2020-05-06	Paper
Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms	2019-05-18	Paper
Axioms and decidability for type isomorphism in the presence of sums Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)	2018-04-23	Paper
The exp-log normal form of types: decomposing extensional equality and representing terms compactly Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
A direct version of Veldman's proof of open induction on Cantor space via delimited control operators (available as arXiv preprint)	2017-03-13	Paper
Perspectives for proof unwinding by programming languages techniques	2016-05-30	Paper
An Intuitionistic Formula Hierarchy Based on High-School Identities (available as arXiv preprint)	2016-01-19	Paper
Continuation-passing style models complete for intuitionistic logic Annals of Pure and Applied Logic	2013-04-15	Paper
An interpretation of the Sigma-2 fragment of classical Analysis in System T	2013-01-22	Paper
Delimited control operators prove double-negation shift Annals of Pure and Applied Logic	2012-09-26	Paper
Kripke models for classical logic Annals of Pure and Applied Logic	2011-08-26	Paper
Zermelo’s Well-Ordering Theorem in Type Theory Lecture Notes in Computer Science	2009-03-10	Paper
"An analysis of the constructive content of Henkin's proof of G\""odel's completeness theorem" (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Danko Ilik