If you made any changes in Pure these will be visible here soon.

Research Output 2007 2020

Filter
Working paper
2018

Better Late Than Never: A Fully Abstract Semantics for Classical Processes

Kokke, W., Montesi, F. & Peressotti, M., 6. Nov 2018.

Research output: Working paperResearch

Semantics
Derivatives
Chemical analysis