Pages that link to "Item:Q5159483"

The following pages link to A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483):

Displaying 2 items.

• Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
• The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)