Pages that link to "Item:Q1194249"

The following pages link to On the adequacy of representing higher order intuitionistic logic as a pure type system (Q1194249):

Displaying 2 items.

• ON THE CONSERVATIVITY OF LEIBNIZ EQUALITY (Q5248986) (← links)
• Weak normalization implies strong normalization in a class of non-dependent pure type systems (Q5958619) (← links)