The Second Calculus of Binary Relations (1993)

Cached

Download Links

by Vaughan Pratt
Venue:In Proceedings of MFCS'93
Citations:54 - 18 self