Quantales and observational semantics

Authors
Resende, P
Citation
P. Resende, Quantales and observational semantics, FUND THEOR, 111, 2000, pp. 263-288
Categorie Soggetti
Current Book Contents
Journal title
CURRENT RESEARCH IN OPERATIONAL QUANTUM LOGIC: ALGEBRAS, CATEGORIES, LANGUAGES → ACNP
Volume
111
Year of publication
2000
Pages
263 - 288
Database
ISI
SICI code