Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Hanwen Wu
Map detail
Hanwen Wu4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipHanwen WuAHanwen WuResearcherLinearly Typed Dyadic Group Sessions for Building Multiparty SessionsWLinearly Typed Dyadic G...preprint / 2016Propositions in Linear Multirole Logic as Multiparty Session TypesWPropositions in Linear ...preprint / 2016Session Types in a Linearly Typed Multi-Threaded Lambda-CalculusWSession Types in a Line...preprint / 2016
Person3 links

Hanwen Wu

Researcher