Session Types and Higher-Order Concurrency

Perez Parra, J. (Invited speaker)

Fundamental Computing

Activity: Talk and presentation › Academic presentation › Academic

Period	24-Feb-2021
Event title	Online Worldwide Seminar on Logic and Semantics (OWLS)
Event type	Seminar

Documents & Links

https://www.cs.bham.ac.uk/~vicaryjo/owls/

Related content

Research output
On the relative expressiveness of higher-order session processes
Research output: Contribution to journal › Article › Academic › peer-review
Minimal Session Types
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review