A Fully-Abstract Model for the p-calculus
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
An exact correspondence between a typed pi-calculus and polarised proof-nets
Theoretical Computer Science
Hi-index | 0.00 |