Polynat in PER models

DOI10.1016/J.TCS.2004.01.031MaRDI QIDQ1434360zbMATH OpenOpenAlexFDO

Authors Ivar Rummelhoff

Publication date 4 August 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.01.031

zbMATH Keywords

SemanticsType theoryPERPolymorphism

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3882404
• scientific article; zbMATH DE number 19052
• Algebraic types in PER models
• scientific article; zbMATH DE number 1670474
• Extensional models for polymorphism

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4103058 (Why is no real title available?)
• scientific article; zbMATH DE number 512792 (Why is no real title available?)
• Algebraic types in PER models
• Automatic synthesis of typed -programs on term algebras

Cited in

(6)

• Polya Urn Models
• scientific article; zbMATH DE number 1670474 (Why is no real title available?)
• Algebraic types in PER models
• scientific article; zbMATH DE number 4103058 (Why is no real title available?)
• scientific article; zbMATH DE number 4181330 (Why is no real title available?)
• scientific article; zbMATH DE number 4154448 (Why is no real title available?)

This page was built for publication: Polynat in PER models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1434360)