Sciweavers

TLCA
1997
Springer
15 years 1 months ago
Proof Nets, Garbage, and Computations
S TECHNICAL REPORT ABSTRACTS
Stefano Guerrini, Simone Martini, Andrea Masini