scientific article; zbMATH DE number 6917942
From MaRDI portal
Publication:4580327
DOI10.23638/LMCS-14(3:7)2018zbMath1448.68208arXiv1712.03829MaRDI QIDQ4580327
Antonio Bucciarelli, Delia Kesner, Simonetta Ronchi della Rocca
Publication date: 15 August 2018
Full work available at URL: https://arxiv.org/abs/1712.03829
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Scott model of linear logic is the extensional collapse of its relational model
- The lambda calculus. Its syntax and semantics. Rev. ed.
- A type assignment system for game semantics
- An extension of basic functionality theory for \(\lambda\)-calculus
- Complete restrictions of the intersection type discipline
- Principality and type inference for intersection types using expansion variables
- Reasoning About Call-by-need by Means of Types
- Non-idempotent intersection types and strong normalisation
- The Logic of Persistent Intersection
- Quantitative Types for the Linear Substitution Calculus
- The Inhabitation Problem for Non-idempotent Intersection Types
- Solvability in Resource Lambda-Calculus
- Not Enough Points Is Enough
- The Inhabitation Problem for Rank Two Intersection Types
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- A linearization of the Lambda-calculus and consequences
- Non-idempotent intersection types for the Lambda-Calculus
- The emptiness problem for intersection types
- Types, potency, and idempotency
- Essential and relational models
- Intersection type calculi of bounded dimension
This page was built for publication:
