Sets, types and type-checking

DOI10.1093/LOGCOM/9.6.959MaRDI QIDQ4943506zbMATH OpenOpenAlexFDO

Authors 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

\textbf{Z}-specification languagesimple type theorytype assignment systemtyped set theory

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1088050
• Collections, sets and types
• Type inference for set theory
• scientific article; zbMATH DE number 3987268
• Types, Sets, and Categories
• Setoids in type theory
• A Comparison of Type Theory with Set Theory
• Set-theoretic types for polymorphic variants
• scientific article; zbMATH DE number 1215502
• Multisets in type theory

Cited in

(8)

• Richer types for \(Z\)
• Types, Sets, and Categories
• The Foundations of Specification
• scientific article; zbMATH DE number 4050950 (Why is no real title available?)
• UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY
• scientific article; zbMATH DE number 554481 (Why is no real title available?)
• Checking Emptiness of Non-Deterministic Regular Types with Set Operators
• Type inference for set theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4943506)