Functional Characterization of Some Semantic Equalities inside Lambda-Calculus

• Authors:

• Mario Coppo;Mariangiola Dezani-Ciancaglini;P. Salle

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 6th Colloquium, on Automata, Languages and Programming
• Year:
• 1979