Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics
Home
Publications
Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics
Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics
PD
Peter Dybjer
Peter Dybjer
Publisher Website
Google Scholar
Cite
Download
Share
Download
Download
Download PDF
Download
26 September 1991
book chapter
book charpter
Published by
Cambridge University Press (CUP)
p.
280-306
https://doi.org/10.1017/cbo9780511569807.012
Abstract
No abstract available
Cited by 45 articles