Searching for authors named "Roy Dyckhoff" – sorted by Relevance.
-
Dragalin's proofs of cut-admissibility for the intuitionistic sequent calculi G3i and G3i'
- Dragalin's proofs of cut-admissibility for the intuitionistic sequent calculi G3i and G3i 0 Roy
- Cited by 1 (1 self) – Add To MetaCart
-
Sequent Calculi for the Normal Terms of the \lambda\Pi- and \lambda\Pi\Sigma-Calculi
- Sequent Calculi for the Normal Terms of the \Pi- and \Pi\Sigma-Calculi ? Lu'is Pinto 1 and Roy
- Add To MetaCart
-
Proof Search in Constructive Logics
- Proof search in constructive logics Roy Dyckhoff Computer Science Division, University of St
- Cited by 7 (2 self) – Add To MetaCart
-
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic
- Admissibility of structural rules for contraction-free systems of intuitionistic logic Roy Dyckho
- Cited by 7 (5 self) – Add To MetaCart
-
Strong normalisation of Herbelin's explicit substitution calculus with substitution propagation
- Strong normalisation of Herbelin's explicit substitution calculus with substitution propagation Roy
- Cited by 3 (0 self) – Add To MetaCart
-
Uniform Proofs and Natural Deductions
- 1 Uniform proofs and natural deductions Roy Dyckhoff & Luis Pinto School of Mathematical
- Cited by 9 (3 self) – Add To MetaCart
-
A Constructive Type System to Integrate Logic and Functional Programming
- A Constructive Type System to Integrate Logic and Functional Programming Luis Pinto & Roy Dyckhoff
- Cited by 1 (0 self) – Add To MetaCart
-
Admissibility of Structural Rules for Extensions of Contraction-free Sequent Calculi
- Admissibility of Structural Rules for Extensions of Contraction-free Sequent Calculi ROY DYCKHOFF
- Cited by 1 (1 self) – Add To MetaCart
-
Call-by-value λ-calculus and LJQ
- Call-by-Value λ-calculus and LJQ Roy Dyckhoff and Stéphane Lengrand School of Computer Science
- Cited by 1 (1 self) – Add To MetaCart
-
A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic
- A Deterministic Terminating Sequent Calculus for Godel-Dummett logic ROY DYCKHOFF, School
- Cited by 12 (0 self) – Add To MetaCart

