Sciweavers

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