Sets, types and type-checking

DOI10.1093/LOGCOM/9.6.959zbMath0941.03062OpenAlexW2071310242MaRDI QIDQ4943506

Raymond Turner

Publication date: 31 July 2000

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

Full work available at URL: https://semanticscholar.org/paper/2e218a8ea6858a715c62f93a5d4af1de4b5ef083

zbMATH Keywords

typed set theorysimple type theorytype assignment system\textbf{Z}-specification language

Mathematics Subject Classification ID

Applications of set theory (03E75) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Type inference for set theory

This page was built for publication: Sets, types and type-checking