Linear Logical Relations for Session-Based Concurrency

by Jorge A. Pérez , Luís Caires , Frank Pfenning , Bernardo Toninho
Citations:13 - 8 self