On Coinduction and Quantum Lambda Calculi.

Yuxin Deng, Yuan Feng, Ugo Dal Lago

Browse the full CONCUR paper archive.