Pages that link to "Item:Q5276136"

The following pages link to A syntactic approach to eta equality in type theory (Q5276136):

Displaying 1 item.

• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) (← links)