Sciweavers

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