Extensional rewriting with sums (2007)

Cached

Download Links

by Sam Lindley
Venue:In TLCA
Citations:5 - 3 self