Recursive Logical Relations for Intuitionistic Linear Logic Session Types.

Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao

Browse the full ESOP paper archive.