Linear Logical Relations for Session-Based Concurrency

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