Pages that link to "Item:Q5370876"

The following pages link to The exp-log normal form of types: decomposing extensional equality and representing terms compactly (Q5370876):

Displaying 2 items.

• An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) (← links)