Intersection type assignment systems (Q1350344)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Intersection type assignment systems	scientific article

Statements

scholarly article

0 references

Intersection type assignment systems (English)

0 references

Steffen van Bakel

0 references

Theoretical Computer Science

0 references

publication date

27 February 1997

0 references

zbMATH Keywords

lambda calculus

0 references

describes a project that uses

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/0304-3975(95)00073-6

0 references

Complete restrictions of the intersection type discipline

0 references

0 references

0 references

Principal Type Schemes for the Strict Type Assignment System

0 references

The lambda calculus. Its syntax and semantics. Rev. ed.

0 references

A filter lambda model and the completeness of type assignment

0 references

An extension of basic functionality theory for \(\lambda\)-calculus

0 references

0 references

Functional Characters of Solvable Terms

0 references

Type theories, normal forms, and \(D_{\infty}\)-lambda-models

0 references

Functionality in Combinatory Logic

0 references

0 references

0 references

0 references

A characterization of F-complete type assignments

0 references

Algebras and combinators

0 references

0 references

The system \({\mathcal F}\) of variable types, fifteen years later

0 references

The Principal Type-Scheme of an Object in Combinatory Logic

0 references

0 references

The completeness theorem for typing lambda-terms

0 references

Lambda‐Calculus Models and Extensionality

0 references

Filter models with polymorphic types

0 references

Principal Typing in a ∀Λ-Discipline

0 references

A theory of type polymorphism in programming

0 references

Polymorphic type inference and containment

0 references

0 references

Principal type schemes for an extended type theory

0 references

0 references

Intensional interpretations of functionals of finite type I

0 references

The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus

0 references

Identifiers

zbMATH Open document ID

0 references

10.1016/0304-3975(95)00073-6

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1350344

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1350344&oldid=34175705"