Searching for authors named "Jason Reed" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
