Pages that link to "Item:Q3760510"

The following pages link to Retraction map categories and their applications to the construction of lambda calculus models (Q3760510):

Displaying 1 item.

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