Searching for authors named "Jason Reed" – sorted by Relevance.
-
1 Introduction Base-Type Polymorphism in LF
- 1 Introduction Base-Type Polymorphism in LF Jason Reed February 26, 2008 The type theory of LF
- Add To MetaCart
-
Higher-Order Constraint Simplification In Dependent Type Theory
- Higher-Order Constraint Simplification In Dependent Type Theory Jason Reed ⋆ School of Computer
- Add To MetaCart
-
Focalizing Linear Logic in Itself
- Focalizing Linear Logic in Itself Jason Reed December 6, 2008 Abstract We sketch a simple
- Add To MetaCart
-
Hybridizing a Logical Framework
- Abstract Hybridizing a Logical Framework Jason Reed 1,2 Computer Science Department Carnegie
- Cited by 4 (0 self) – Add To MetaCart
-
A Judgmental Deconstruction of Modal Logic
- A Judgmental Deconstruction of Modal Logic Jason Reed January 30, 2009 Abstract The modalities
- Add To MetaCart
-
Intuitionistic Letcc via Labelled Deduction
- is ∗ This work has been supported by the National Science Foundation under grant CCR-0306313. Jason Reed
- Add To MetaCart
-
Team Red: The Sandstorm Theorem Prover
- Team Red: The Sandstorm Theorem Prover Deepak Garg Tom Murphy VII Greg Price Jason Reed Noam
- Cited by 1 (0 self) – Add To MetaCart

