PPT Slide
Linear Type Systemsfor Concurrent Languages
Eijiro SumiiNaoki Kobayashi
University of Tokyo
Next slide
Back to first slide
View graphic version