Type Directed Partial Evaluation for Level-1 Shift and Reset von Ilik, Danko

Volltext

An intuitionistic formula hierarchy based on high‐school identities von Brock‐Nannestad, Taus, Ilik, Danko

Volltext

Continuation-passing style models complete for intuitionistic logic von Ilik, Danko

Volltext

Delimited control operators prove Double-negation Shift von Ilik, Danko

Volltext

The exp-log normal form of types von Ilik, Danko

Volltext

An Intuitionistic Formula Hierarchy Based on High-School Identities von Brock-Nannestad, Taus, Danko Ilik

Volltext

Axioms and Decidability for Type Isomorphism in the Presence of Sums von Ilik, Danko

Volltext

Type Directed Partial Evaluation for Level-1 Shift and Reset von Ilik, Danko

Volltext

Dependently typed continuation monads as models in logic: Invited Presentation at the Fourth Workshop on Mathematically Structured Functional Programming von Ilik, Danko

Volltext

An analysis of the constructive content of Henkin's proof of G\"odel's completeness theorem von Herbelin, Hugo, Ilik, Danko

Volltext bestellen

Delimited control operators prove Double-negation Shift von Ilik, Danko

Volltext

Continuation-passing Style Models Complete for Intuitionistic Logic von Ilik, Danko

Volltext

Kripke models for classical logic von Ilik, Danko, Lee, Gyesik, Herbelin, Hugo

Volltext

A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators von Danko Ilik, Nakata, Keiko

Volltext

Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms von Ilik, Danko

Volltext bestellen

The exp-log normal form of types: decomposing extensional equality and representing terms compactly von Ilik, Danko

Volltext

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem von Herbelin, Hugo, Danko Ilik

Volltext

Perspectives for proof unwinding by programming languages techniques von Ilik, Danko

Volltext bestellen

Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms von Danko Ilik

Volltext

Kripke Models for Classical Logic von Danko Ilik, Lee, Gyesik, Herbelin, Hugo

Volltext