βη-equality for coproducts (1995)

Cached

Download Links

by Neil Ghani
Venue:
Citations:26 - 7 self