Pages that link to "Item:Q1577478"

The following pages link to Functional interpretation of Aczel's constructive set theory (Q1577478):

Displaying 4 items.

• From the weak to the strong existence property (Q448335) (← links)
• A complexity analysis of functional interpretations (Q557798) (← links)
• Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\) (Q946579) (← links)
• Logical problems of functional interpretations (Q5957851) (← links)