Introducing data types in intuitionistic type theory

DOI10.1080/00207169108804021zbMath0742.68007OpenAlexW1982977619MaRDI QIDQ3989761

Ming-hua Zhang

Publication date: 28 June 1992

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207169108804021

zbMATH Keywords

intuitionistic type theorydata typesdata logic

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• The independence of Peano's fourth axiom from Martin-Löf's type theory without universes
• Can programming be liberated from the von Neumann style?
• Unnamed Item
• Unnamed Item

This page was built for publication: Introducing data types in intuitionistic type theory