Fork algebraic datatypes

DOI10.1093/JIGPAL/6.4.531zbMath0905.68093OpenAlexW2117876513MaRDI QIDQ4210766

Pablo E. Martínez-López, Gabriel A. Baum

Publication date: 27 September 1998

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

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

zbMATH Keywords

program synthesisfork algebras

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: Fork algebraic datatypes