Quantales And Observational Semantics (2000)

by Pedro Resende
Citations:12 - 4 self