The following pages link to (Q4281464):
Displayed 11 items.
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- Search algorithms in type theory (Q1575934) (← links)
- Uniform Heyting arithmetic (Q1772775) (← links)
- A strong normalization result for classical logic (Q1902976) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- Domain-Free<i>λµ</i>-Calculus (Q2729625) (← links)
- Classical truth in higher types (Q3506321) (← links)
- (Q4957786) (← links)
- Refined program extraction from classical proofs (Q5957850) (← links)
- Strong normalizability of the non-deterministic catch/throw calculi (Q5958297) (← links)