Pages that link to "Item:Q3778750"

The following pages link to A While-rule in Martin-Lof's Theory of Types (Q3778750):

Displaying 3 items.

• A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
• Constructing recursion operators in intuitionistic type theory (Q1094421) (← links)
• Computing downwards accumulations on trees quickly (Q1369231) (← links)