A Calculus of Higher-Order Parameterization for Algebraic Specifications

DOI10.1093/JIGPAL/3.4.615zbMath0832.68072OpenAlexW2018239024MaRDI QIDQ4847374

María Victoria Cengarle, Martin Wirsing

Publication date: 5 November 1995

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/3.4.615

zbMATH Keywords

specification languagelambda calculuscontextual proof system

Mathematics Subject Classification ID

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

Related Items (1)

Semantic typing for parametric algebraic specifications

This page was built for publication: A Calculus of Higher-Order Parameterization for Algebraic Specifications