betaeta-Equality for Coproducts (1995)

by Neil Ghani
Venue:In Typed -calculus and Applications, number 902 in Lecture Notes in Computer Science