Pages that link to "Item:Q4121888"

The following pages link to Ein starker Normalisationssatz für die bar-rekursiven Funktionale (Q4121888):

Displaying 4 items.

• Equivalence of bar recursors in the theory of functionals of finite type (Q1115867) (← links)
• Programs from proofs using classical dependent choice (Q2482844) (← links)
• Strong normalization of barrecursive terms without using infinite terms (Q3739119) (← links)
• (Q5129941) (← links)