Polynat in PER models

DOI10.1016/J.TCS.2004.01.031zbMath1060.03034OpenAlexW2082733427MaRDI QIDQ1434360

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

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

Cites Work

• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• Algebraic types in PER models
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Polynat in PER models