@article{GUGLIELMI_2011,
doi = {10.1017/s096012951100003x},
url = {https://doi.org/10.1017%2Fs096012951100003x},
year = {2011},
month = {mar},
publisher = {Cambridge University Press ({CUP})},
volume = {21},
number = {3},
pages = {563--584},
author = {ALESSIO GUGLIELMI and LUTZ STRA{\ss}BURGER},
title = {A system of interaction and structure V: the exponentials and splitting},
journal = {Mathematical Structures in Computer Science}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A