Q5111316 (Q5111316): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Degrees of sensible lambda theories
@@ Property / cites work: Degrees of sensible lambda theories / rank @@
+Normal rank
@@ Property / cites work @@
+On the characterization of models of             <i>H</i>
@@ Property / cites work: On the characterization of models of <i>H</i> / rank @@
+Normal rank
@@ Property / cites work @@
+New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.
+Normal rank
@@ Property / cites work @@
+Breaking through the normalization barrier: a self-interpreter for f-omega
+Normal rank
@@ Property / cites work @@
+Q4198724
@@ Property / cites work: Q4198724 / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, normal forms, and \(D_{\infty}\)-lambda-models
+Normal rank
@@ Property / cites work @@
+Q4263866
@@ Property / cites work: Q4263866 / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatory account of internal structure
@@ Property / cites work: A combinatory account of internal structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101793
@@ Property / cites work: Q4101793 / rank @@
+Normal rank
@@ Property / cites work @@
+A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
+Normal rank
@@ Property / cites work @@
+On structural properties of eta-expansions of identity
+Normal rank
@@ Property / cites work @@
+The Omega Rule is $\mathbf{\Pi_{1}^{1}}$ -Complete in the λβ-Calculus
+Normal rank
@@ Property / cites work @@
+The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus
+Normal rank
@@ Property / cites work @@
+The Lattice of Lambda Theories
@@ Property / cites work: The Lattice of Lambda Theories / rank @@
+Normal rank
@@ Property / cites work @@
+A General Class of Models of $\mathcal{H}^*$
@@ Property / cites work: A General Class of Models of $\mathcal{H}^*$ / rank @@
+Normal rank
@@ Property / cites work @@
+Relational graph models, Taylor expansion and extensionality
+Normal rank
@@ Property / cites work @@
+Efficient self-interpretation in lambda calculus
@@ Property / cites work: Efficient self-interpretation in lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The λ-calculus is ω-incomplete
@@ Property / cites work: The λ-calculus is ω-incomplete / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the Quote
@@ Property / cites work: Axiomatizing the Quote / rank @@
+Normal rank
@@ Property / cites work @@
+The parametric lambda calculus. A metamodel for computation.
+Normal rank
@@ Property / cites work @@
+Q4163188
@@ Property / cites work: Q4163188 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808745
@@ Property / cites work: Q4808745 / rank @@
+Normal rank
@@ Property / cites work @@
+The infinitary lambda calculus of the infinite eta Böhm trees
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank