Filter models with polymorphic types (Q1186431)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Filter models with polymorphic types	scientific article

Statements

scholarly article

0 references

Filter models with polymorphic types (English)

0 references

zbMATH Open document ID

0 references

10.1016/0304-3975(92)90070-V

0 references

0 references

0 references

Maddalena Zacchi

0 references

Theoretical Computer Science

0 references

publication date

28 June 1992

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

zbMATH Keywords

polymorphic types

0 references

MaRDI profile type

MaRDI publication profile

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

0 references

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

0 references

BCK-combinators and linear \(\lambda\)-terms have types

0 references

Lambda‐Calculus Models and Extensionality

0 references

Polymorphic type inference and containment

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1186431

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