Pages that link to "Item:Q1372877"

The following pages link to Constructive sets in computable sets (Q1372877):

Displaying 3 items.

• Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\) (Q946579) (← links)
• Structures definable in polymorphism (Q1273075) (← links)
• Semantics of constructions. I: The traditional approach (Q5934287) (← links)