Type-theoretic interpretation of iterated, strictly positive inductive definitions

DOI10.1007/BF01269951zbMath0787.03052MaRDI QIDQ688845

Could not fetch data.

Publication date: 23 May 1994

Published in: (Search for Journal in Brave)

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.