Essential and relational models

DOI10.1017/S0960129515000316zbMath1364.68131WikidataQ57722136 ScholiaQ57722136MaRDI QIDQ5269000

Luca Paolini, Mauro Piccolo, Simonetta Ronchi della Rocca

Publication date: 14 June 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items (7)

A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization ⋮ Unnamed Item ⋮ Tight typings and split bounds, fully developed ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The parametric lambda calculus. A metamodel for computation.
• The lambda calculus. Its syntax and semantics. Rev. ed.
• A type assignment system for game semantics
• Domain theory in logical form
• An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
• Principality and type inference for intersection types using expansion variables
• Logical Semantics for Stability
• What is a categorical model of the differential and the resource λ-calculi?
• Filter models: non-idempotent intersection types, orthogonality and polymorphism
• Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types
• A General Class of Models of $\mathcal{H}^*$
• The Inhabitation Problem for Non-idempotent Intersection Types
• Models of the lambda calculus
• Solvability in Resource Lambda-Calculus
• Exponentials with Infinite Multiplicities
• Not Enough Points Is Enough
• Lambda‐Calculus Models and Extensionality
• Functional Characters of Solvable Terms
• A linearization of the Lambda-calculus and consequences
• The lambda calculus is algebraic
• The emptiness problem for intersection types
• Types, potency, and idempotency

This page was built for publication: Essential and relational models