Pages that link to "Item:Q583201"

The following pages link to The inconsistency of higher order extensions of Martin-Löf's type theory (Q583201):

Displaying 3 items.

• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (Q3401360) (← links)
• (Q4531082) (← links)
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? (Q4704657) (← links)