Complete restrictions of the intersection type discipline
type: Item
instance of: scholarly article
title: Complete restrictions of the intersection type discipline
zbMATH Open document ID: 0762.03006
DOI: 10.1016/0304-3975(92)90297-S
author: Steffen Van Bakel
published in: Theoretical Computer Science
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 64939
zbMATH Keywords: type assignment system
zbMATH Keywords: filter lambda model
zbMATH Keywords: inference semantics
describes a project that uses: ML
describes a project that uses: Miranda
MaRDI profile type: Publication
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: A filter lambda model and the completeness of type assignment
cites work: An extension of basic functionality theory for \(\lambda\)-calculus
cites work: Q3221961
cites work: Functional Characters of Solvable Terms
cites work: Type theories, normal forms, and \(D_{\infty}\)-lambda-models
cites work: Functionality in Combinatory Logic
cites work: Q5565113
cites work: Q3345747
cites work: A characterization of F-complete type assignments
cites work: The Principal Type-Scheme of an Object in Combinatory Logic
cites work: Q3659755
cites work: The completeness theorem for typing lambda-terms
cites work: Q3816053
cites work: A theory of type polymorphism in programming
cites work: Polymorphic type inference and containment
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Q3922646
cites work: Principal type scheme and unification for intersection type discipline
cites work: Principal type schemes for an extended type theory
cites work: Q4163188
cites work: Q3721784
description: scientific article; zbMATH DE number 64939