Q4531082
type: Item
instance of: scholarly article
zbMATH Open document ID: 0997.03047
author: Silvio Valentini
publication date: 2002-05-29T00:00:00Z
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 1746890
zbMATH Keywords: constructive set theory
zbMATH Keywords: constructive type theory
zbMATH Keywords: extensional set constructors
MaRDI profile type: Publication
cites work: Q4039735
cites work: Inductively generated formal topologies.
cites work: The inconsistency of higher order extensions of Martin-Löf's type theory
cites work: Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
cites work: Q3999860
cites work: Q4247312
DOI: 10.1002/1521-3870(200202)48:2%3C179::AID-MALQ179%3E3.0.CO;2-K
description: scientific article; zbMATH DE number 1746890