A Dependently Typed Linear π-Calculus in Agda.

Luca Ciccone, Luca Padovani

Browse the full PPDP paper archive.