Algebraic Specifications, Higher-order Types and Set-theoretic Models

DOI10.1093/logcom/11.3.453zbMath0983.68124DBLPjournals/logcom/KirchnerM01OpenAlexW2106265693WikidataQ57783518 ScholiaQ57783518MaRDI QIDQ2752531

Hélène Kirchner, Peter D. Mosses

Publication date: 16 October 2001

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/11.3.453

zbMATH Keywords

intensional set theoryhigher-order typesHorn-clauseZ framework

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: Algebraic Specifications, Higher-order Types and Set-theoretic Models