scientific article; zbMATH DE number 512771
From MaRDI portal
Publication:4281464
Recommendations
- scientific article; zbMATH DE number 2095713
- Constructive classical logic as CPS-calculus
- Unifying classical and intuitionistic logics for computational control
- scientific article; zbMATH DE number 4047193
- scientific article; zbMATH DE number 1500568
- Embedding and automating conditional logics in classical higher-order logic
- The proof-theoretical analysis of contraction-less relevant logics
- scientific article; zbMATH DE number 1531362
- Conjunctive partial deduction: foundations, control, algorithms, and experiments
- Narrowing and rewriting logic: from foundations to applications
Cited in
(16)- scientific article; zbMATH DE number 7393562 (Why is no real title available?)
- scientific article; zbMATH DE number 1420833 (Why is no real title available?)
- scientific article; zbMATH DE number 2038761 (Why is no real title available?)
- Classical truth in higher types
- Classical extraction in continuation models
- A type-theoretic foundation of delimited continuations
- Search algorithms in type theory
- A proof-theoretic foundation of abortive continuations
- scientific article; zbMATH DE number 837069 (Why is no real title available?)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
- Domain-free \(\lambda\mu\)-calculus
- scientific article; zbMATH DE number 1479631 (Why is no real title available?)
- Refined program extraction from classical proofs
- A strong normalization result for classical logic
- Uniform Heyting arithmetic
- Strong normalizability of the non-deterministic catch/throw calculi
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281464)
