An exact correspondence between a typed pi-calculus and polarised proof-nets
scientific article; zbMATH DE number 5712824
scientific article