Infinite $\lambda$-calculus and types (Q1275621): Difference between revisions

@@ Property / author @@
+Mariangiola Dezani-Ciancaglini
@@ Property / author: Mariangiola Dezani-Ciancaglini / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction in the lazy lambda calculus
@@ Property / cites work: Full abstraction in the lazy lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954440
@@ Property / cites work: Q4954440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206926
@@ Property / cites work: Q3206926 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Q4896520
@@ Property / cites work: Q4896520 / rank @@
+Normal rank
@@ Property / cites work @@
+Some new results on easy lambda-terms
@@ Property / cites work: Some new results on easy lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837724
@@ Property / cites work: Q3837724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221961
@@ Property / cites work: Q3221961 / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, normal forms, and \(D_{\infty}\)-lambda-models
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Filter models for conjunctive-disjunctive \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+A Filter Model for Concurrent $\lambda$-Calculus
@@ Property / cites work: A Filter Model for Concurrent $\lambda$-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281469
@@ Property / cites work: Q4281469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4018065
@@ Property / cites work: Q4018065 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness theorem for typing lambda-terms
@@ Property / cites work: The completeness theorem for typing lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260372
@@ Property / cites work: Q4260372 / rank @@
+Normal rank
@@ Property / cites work @@
+An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
+Normal rank
@@ Property / cites work @@
+Q4128535
@@ Property / cites work: Q4128535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3869319
@@ Property / cites work: Q3869319 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691635
@@ Property / cites work: Q3691635 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency of a \(\lambda\)-theory with \(n\)-tuples and easy term
+Normal rank
@@ Property / cites work @@
+Transfinite reductions in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus
@@ Property / cites work: Infinitary lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Meaningless terms in rewriting
@@ Property / cites work: Meaningless terms in rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3982064
@@ Property / cites work: Q3982064 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
+Normal rank
@@ Property / cites work @@
+Q4124819
@@ Property / cites work: Q4124819 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a model of the lambda calculus?
@@ Property / cites work: What is a model of the lambda calculus? / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024851
@@ Property / cites work: Q3024851 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization theorems for a filter lambda model
+Normal rank
@@ Property / cites work @@
+Q3922648
@@ Property / cites work: Q3922648 / rank @@
+Normal rank
@@ Property / cites work @@
+Principal type schemes for an extended type theory
+Normal rank
@@ Property / cites work @@
+A finite equational axiomatization of the functional algebras for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Q3661543
@@ Property / cites work: Q3661543 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Q4281488
@@ Property / cites work: Q4281488 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete restrictions of the intersection type discipline
+Normal rank
@@ Property / cites work @@
+\(F\)-semantics for type assignment systems
@@ Property / cites work: \(F\)-semantics for type assignment systems / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(98)00135-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1998678709
@@ Property / OpenAlex ID: W1998678709 / rank @@
+Normal rank

Infinite \(\lambda\)-calculus and types (Q1275621): Difference between revisions

Latest revision as of 10:47, 30 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)