The following pages link to Danko Ilik (Q450949):
Displaying 15 items.
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Kripke models for classical logic (Q636371) (← links)
- Effective subsets under homeomorphisms of \(\mathbb{R}^n\) (Q897661) (← links)
- Continuation-passing style models complete for intuitionistic logic (Q1946671) (← links)
- Effectful applicative similarity for call-by-name lambda calculi (Q1989333) (← links)
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators (Q2968417) (← links)
- Zermelo’s Well-Ordering Theorem in Type Theory (Q3612443) (← links)
- Axioms and decidability for type isomorphism in the presence of sums (Q4635638) (← links)
- (Q4957791) (← links)
- An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
- The exp-log normal form of types: decomposing extensional equality and representing terms compactly (Q5370876) (← links)
- An Intuitionistic Formula Hierarchy Based on High-School Identities (Q6269441) (← links)
- "An analysis of the constructive content of Henkin's proof of G\""odel's completeness theorem" (Q6518684) (← links)
