Pages that link to "Item:Q5096257"

The following pages link to A set constructor for inductive sets in Martin-Löf's type theory (Q5096257):

Displayed 4 items.

• Constructive characterizations of bar subsets (Q866574) ‎ (← links)
• Program development in constructive type theory (Q1190474) ‎ (← links)
• Representing inductively defined sets by wellorderings in Martin-Löf's type theory (Q1392287) ‎ (← links)
• Programming interfaces and basic topology (Q2575770) ‎ (← links)