1995
Solutions of functorial and non-functorial metric domain equations
Publication
Publication
Electronic Notes in Theoretical Computer Science Issue 1
Presented at the
Conference on the Mathematical Foundations of Programming Semantics, New Orleans, LA
Additional Metadata | |
---|---|
, | |
Elsevier | |
Electronic Notes in Theoretical Computer Science | |
Conference on the Mathematical Foundations of Programming Semantics | |
Organisation | Computer Security |
Alessi, F., Baldan, P., Bellè, G., & Rutten, J. (1995). Solutions of functorial and non-functorial metric domain equations. In Electronic Notes in Theoretical Computer Science. Elsevier. |