Galois Connections Presented Calculationally. (1992)

Cached

Download Links

by C.J. Aarts , Supervisor Roland Backhouse
Citations:16 - 0 self