Sciweavers

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