Searching for "Normalized Types." – sorted by Relevance.
612 documents found, showing 1 through 10.
Next 10 →
-
Normalization for Typed Lambda Calculi with Explicit Substitution
- …Normalization for Typed Lambda Calculi with Explicit Substitution Eike Ritter 1 Introduction…
- Cited by 8 (4 self) – Add To MetaCart
-
Reducibility Candidates in Proving the Strong Normalization of Typed λ-Calculi
- …Reducibility Candidates in Proving the Strong Normalization of Typed λ-Calculi Xiaochu Qi November…
- Add To MetaCart
-
Strong normalization from weak normalization in typed λ-calculi
- …Strong Normalization from Weak Normalization in Typed -Calculi Morten Heine S��rensen Faculty…
- Cited by 4 (0 self) – Add To MetaCart
-
New Notions of Reduction and Non-Semantic Proofs of-Strong Normalization in Typed-Calculi
- …New Notions of Reduction and Non-Semantic Proofs of -Strong Normalization in Typed -Calculi A. J…
- Add To MetaCart
-
New Notions of Reduction and Non-Semantic Proofs of Strong β-Normalization in Typed λ-Calculi
- …New Notions of Reduction and Non-Semantic Proofs of Strong fi-Normalization in Typed -Calculi A…
- Cited by 9 (2 self) – Add To MetaCart
-
New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi
- …New Notions of Reduction and Non-Semantic Proofs of fi-Strong Normalization in Typed -Calculi A…
- Cited by 2 (2 self) – Add To MetaCart
-
Addendum to `New notions of reduction and non-semantic proofs of fi-strong normalization in typed
- …Addendum to \New Notions of Reduction and Non-Semantic Proofs of -Strong Normalization in Typed…
- Cited by 17 (4 self) – Add To MetaCart
-
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
- … Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version) Vincent…
- Cited by 15 (7 self) – Add To MetaCart
-
Strong Normalization with Singleton Types
- …Strong Normalization with Singleton Types Preliminary Version Judical Courant Judicael…
- Cited by 4 (0 self) – Add To MetaCart
-
Normalization and the Yoneda Embedding
- … to normalization in typed - calculus and related theories. Traditionally, the operational semantics of -calculi…
- Cited by 18 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
