Pages that link to "Item:Q1148318"
From MaRDI portal
The following pages link to Intuitionist type theory and the free topos (Q1148318):
Displayed 12 items.
- Abelian groups in a topos: injectives and injective effacements (Q1055543) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Intuitionist type theory and foundations (Q1152364) (← links)
- On fixpoint objects and gluing constructions (Q1923803) (← links)
- Quotients of decidable objects in a topos (Q3661764) (← links)
- Meeting of the Association for Symbolic Ldgic, Washington, DC, 1985 (Q3755422) (← links)
- (Q3927252) (← links)
- Internal coproduct of abelian groups in an elementary topos (Q3934679) (← links)
- Equational classes of toposes (Q3969101) (← links)
- Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)