Searching for "Propositions as Types." – sorted by Relevance.
463 documents found, showing 1 through 10.
Next 10 →
-
Propositions as [Types]
- …Propositions as [Types] Steve Awodey Andrej Bauer y Institut Mittag-Leer The Royal Swedish…
- Cited by 4 (0 self) – Add To MetaCart
-
Ambiguous Propositions Typed
- …Abstract Ambiguous propositions are analyzed in a type system where disambiguation is effected…
- Add To MetaCart
-
A Minimal Propositional Type Theory
- …A Minimal Propositional Type Theory Mark Kaminski 1,2 Gert Smolka 1 July 23, 2008 Abstract…
- Add To MetaCart
-
Markov’s principle for propositional type theory
- …Markov’s Principle for Propositional Type Theory ⋆ Alexei Kopylov and Aleksey Nogin Department…
- Cited by 9 (7 self) – Add To MetaCart
-
On Specifications, Subset Types and Interpretation of Propositions in Type Theory
- …On Specifications, Subset Types and Interpretation of Propositions in Type Theory Anne Salvesen…
- Cited by 1 (0 self) – Add To MetaCart
-
A Finite Axiomatization of Propositional Type Theory in Pure Lambda Calculus
- …A Finite Axiomatization of Propositional Type Theory in Pure Lambda Calculus Mark Kaminski…
- Cited by 1 (1 self) – Add To MetaCart
-
Propositional Functions and Families of Types
- …Propositional Functions and Families of Types Jan M. Smith Department of Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
Theories = Signatures + Propositions Used as Types
- …Theories = Signatures + Propositions Used as Types ? Stephan A. Missura ?? Institute…
- Cited by 1 (1 self) – Add To MetaCart
-
Reflection and Propositions-as-Types
- …Re ection and Propositions-as-Types ? Sergei Artemov, Eli Barzilay, Robert L. Constable…
- Add To MetaCart
-
Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records. Journal
- …Abstraction and Ontology: questions as propositional abstracts in type theory with records…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
