Danko Ilik

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4957791	2021-09-09	Paper
An intuitionistic formula hierarchy based on high‐school identities	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	2018-04-23	Paper
The exp-log normal form of types: decomposing extensional equality and representing terms compactly	2017-10-20	Paper
A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators	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	2016-01-19	Paper
Continuation-passing style models complete for intuitionistic 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	2012-09-26	Paper
Kripke models for classical logic	2011-08-26	Paper
Zermelo’s Well-Ordering Theorem in Type Theory	2009-03-10	Paper
"An analysis of the constructive content of Henkin's proof of G\""odel's completeness theorem"	N/A	Paper

This page was built for person: Danko Ilik