Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST

DMCA

Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST (2000)

Cached

Download Links

[www.math.uu.se]

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Ieke Moerdijk , Erik Palmgren

Citations:

41 - 13 self

BibTeX

@MISC{Moerdijk00typetheories,,
    author = {Ieke Moerdijk and Erik Palmgren},
    title = {Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST},
    year = {2000}
}

OpenURL

Abstract

Keyphrases

type theory constructive set theory predicative aspect