Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sall

Browse the full ICALP paper archive.