Essential and relational models (Q5269000): Difference between revisions

@@ Property / author @@
+Simonetta Ronchi della Rocca
@@ Property / author: Simonetta Ronchi della Rocca / 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 @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999603
@@ Property / cites work: Q3999603 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types
+Normal rank
@@ Property / cites work @@
+Filter models: non-idempotent intersection types, orthogonality and polymorphism
+Normal rank
@@ Property / cites work @@
+Not Enough Points Is Enough
@@ Property / cites work: Not Enough Points Is Enough / rank @@
+Normal rank
@@ Property / cites work @@
+The Inhabitation Problem for Non-idempotent Intersection Types
+Normal rank
@@ Property / cites work @@
+Exponentials with Infinite Multiplicities
@@ Property / cites work: Exponentials with Infinite Multiplicities / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221961
@@ Property / cites work: Q3221961 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Characters of Solvable Terms
@@ Property / cites work: Functional Characters of Solvable Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4993853
@@ Property / cites work: Q4993853 / rank @@
+Normal rank
@@ Property / cites work @@
+A type assignment system for game semantics
@@ Property / cites work: A type assignment system for game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4649551
@@ Property / cites work: Q4649551 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda‐Calculus Models and Extensionality
@@ Property / cites work: Lambda‐Calculus Models and Extensionality / 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 @@
+A linearization of the Lambda-calculus and consequences
+Normal rank
@@ Property / cites work @@
+Principality and type inference for intersection types using expansion variables
+Normal rank
@@ Property / cites work @@
+Models of the lambda calculus
@@ Property / cites work: Models of the lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Types, potency, and idempotency
@@ Property / cites work: Types, potency, and idempotency / 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 @@
+What is a categorical model of the differential and the resource λ-calculi?
+Normal rank
@@ Property / cites work @@
+Solvability in Resource Lambda-Calculus
@@ Property / cites work: Solvability in Resource Lambda-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Semantics for Stability
@@ Property / cites work: Logical Semantics for Stability / rank @@
+Normal rank
@@ Property / cites work @@
+The parametric lambda calculus. A metamodel for computation.
+Normal rank
@@ Property / cites work @@
+The lambda calculus is algebraic
@@ Property / cites work: The lambda calculus is algebraic / rank @@
+Normal rank
@@ Property / cites work @@
+The emptiness problem for intersection types
@@ Property / cites work: The emptiness problem for intersection types / rank @@
+Normal rank