Differential interaction nets Workshop on Logic (2005)

by T Ehrhard, L Regnier
Venue:Language, Information and Computation (WoLLIC), invited paper. Electronic Notes in Theoretical Computer Science