Pages that link to "Item:Q5370875"

The following pages link to Deciding equivalence with sums and the empty type (Q5370875):

Displaying 3 items.

• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) (← links)
• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) (← links)
• (Q5119390) (← links)