Collections, sets and types

DOI10.1017/S0960129598002680MaRDI QIDQ4237910zbMATH OpenOpenAlexFDO

Authors Gilles Dowek

Publication date 13 June 2000

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129598002680

zbMATH Keywords

many-sorted theorysortstype theory

Mathematics Subject Classification ID

Recommendations

• ON THE REDUCTION OF TYPE THEORY
• scientific article; zbMATH DE number 2003151
• scientific article; zbMATH DE number 1420782
• A relational formulation of the theory of types

Cited in

(5)

• Types, Sets, and Categories
• ON THE REDUCTION OF TYPE THEORY
• Collections, Cardinalities, and Relations
• Sets, types and type-checking
• Introduction to Type Theory

This page was built for publication: Collections, sets and types

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