Better Late Than Never: A Fully-abstract Semantics for Classical Processes

Research output: Contribution to journalJournal articleResearchpeer-review

204 Downloads (Pure)

Search results