On the internal structures of inductive types

From MaRDI portal

Publication:866215

Jump to:navigation, search

zbMath1182.03029MaRDI QIDQ866215

Publication date: 20 February 2007

Published in: Science in China. Series E (Search for Journal in Brave)

Mathematics Subject Classification ID

Related Items (1)

Semantics of constructions. I: The traditional approach

This page was built for publication: On the internal structures of inductive types

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