Searching for "On the Theory of Types." – sorted by Relevance.
1,326 documents found, showing 1 through 10.
Next 10 →
-
Developing Theories of Types and Computability
- …Developing Theories of Types and Computability Thesis Proposal Lars Birkedal School of Computer…
- Cited by 8 (3 self) – Add To MetaCart
-
Developing Theories of Types and Computability
- …Developing Theories of Types and Computability Thesis Proposal Lars Birkedal School of Computer…
- Add To MetaCart
-
An intuitionistic theory of types
- … An intuitionistic theory of types Per Martin-L"of Department of Mathematics, University…
- Cited by 51 (0 self) – Add To MetaCart
-
An Effective Theory of Type Refinements
- …ABSTRACT An Effective Theory of Type Refinements Yitzhak Mandelbaum Princeton University David…
- Cited by 49 (5 self) – Add To MetaCart
-
A theory of type polymorphism in programming
- …JOURNAL OF COMPUTER AND SYSTEM SCIENCES 17, 348-375 (1978) A Theory of Type Polymorphism…
- Cited by 812 (0 self) – Add To MetaCart
-
The type theory and type checker of GF
- …The type theory and type checker of GF Petri Maenpaa Aarne Ranta Nokia Telecommunications…
- Cited by 2 (1 self) – Add To MetaCart
-
The type theory and type checker of GF
- …The type theory and type checker of GF Petri Maenpaa Aarne Ranta Nokia Telecommunications Chalmers…
- Add To MetaCart
-
Inaccessibility in Constructive Set Theory and Type Theory
- …Inaccessibility in constructive set theory and type theory Michael Rathjen Erik Palmgren y…
- Cited by 15 (4 self) – Add To MetaCart
-
Normalisation and Equivalence in Proof Theory and Type Theory
- …Normalisation & Equivalence in Proof Theory & Type Theory Stéphane Lengrand Dissertation submitted…
- Cited by 5 (0 self) – Add To MetaCart
-
Quotient topologies in constructive set theory and type theory
- …Quotient topologies in constructive set theory and type theory Hajime Ishihara ∗ Erik Palmgren…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
