Intersection types and lambda models
From MaRDI portal
Publication:2369008
Recommendations
- A typed lambda calculus with intersection types
- Strict intersection types for the lambda calculus
- Intersection types for light affine lambda calculus
- Full intersection types and topologies in lambda calculus
- Intersection typed \(\lambda \)-calculus
- Non-idempotent intersection types for the lambda-calculus
- Intersection types for the \(\lambda\mu\)-calculus
- Intersection types for lambda-terms and combinators and their logics
- Intersection types for \(\lambda\)-trees
- Intersection types for the resource control lambda calculi
Cites work
- scientific article; zbMATH DE number 3889502 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 41225 (Why is no real title available?)
- scientific article; zbMATH DE number 92599 (Why is no real title available?)
- scientific article; zbMATH DE number 1333599 (Why is no real title available?)
- scientific article; zbMATH DE number 2003154 (Why is no real title available?)
- scientific article; zbMATH DE number 2044491 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- A complete characterization of complete intersection-type preorders
- A filter lambda model and the completeness of type assignment
- Algebras and combinators
- An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
- Behavioural inverse limit \(\lambda\)-models
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Combinatory logic. With two sections by William Craig.
- Complete restrictions of the intersection type discipline
- Compositional characterisations of \(\lambda\)-terms using intersection types
- Domain theory in logical form
- Full abstraction in the lazy lambda calculus
- Functional Characters of Solvable Terms
- Intersection types and computational rules
- Intersection types and domain operators
- Lambda‐Calculus Models and Extensionality
- Semantical analysis of perpetual strategies in \(\lambda\)-calculus
- Set-theoretical and other elementary models of the \(\lambda\)-calculus
- Simple easy terms
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models
- Types for Proofs and Programs
Cited in
(22)- Intersection types for light affine lambda calculus
- A typed lambda calculus with intersection types
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
- Strict intersection types for the lambda calculus
- Intersection types for \(\lambda\)-trees
- Logical semantics for stability
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- scientific article; zbMATH DE number 7526056 (Why is no real title available?)
- A Filter Model for the λμ-Calculus
- scientific article; zbMATH DE number 1722661 (Why is no real title available?)
- Intersection types and domain operators
- Polar type inference with intersection types and \(\omega\)
- Essential and relational models
- scientific article; zbMATH DE number 2044491 (Why is no real title available?)
- Intersection types and computational rules
- Inhabitation of Low-Rank Intersection Types
- A completeness result for a realisability semantics for an intersection type system
- A complete characterization of complete intersection-type preorders
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- scientific article; zbMATH DE number 3880074 (Why is no real title available?)
- scientific article; zbMATH DE number 2003154 (Why is no real title available?)
- scientific article; zbMATH DE number 7559294 (Why is no real title available?)
This page was built for publication: Intersection types and lambda models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2369008)
