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

Research output: Contribution to journalJournal articleResearchpeer-review

228 Downloads (Pure)
Filter
Working paper

Search results