Dependent Session Types via Intuitionistic Linear Type Theory

by Bernardo Toninho , Luís Caires , Frank Pfenning
Citations:17 - 12 self