Collections, sets and types

From MaRDI portal

Publication:4237910

Jump to:navigation, search

DOI10.1017/S0960129598002680zbMath0937.03010OpenAlexW2135699378MaRDI QIDQ4237910

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 theory sorts type theory

Mathematics Subject Classification ID

Related Items (1)

Introduction to Type Theory

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4237910&oldid=18119081"