Searching for authors named "Roy Dyckhoff" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
