Sciweavers

234 search results - page 10 / 47
» Proof Nets and the Identity of Proofs
Sort
View
TLCA
1997
Springer
15 years 2 months ago
Proof Nets, Garbage, and Computations
S TECHNICAL REPORT ABSTRACTS
Stefano Guerrini, Simone Martini, Andrea Masini
CORR
2007
Springer
82views Education» more  CORR 2007»
14 years 10 months ago
Proof nets for display logic
Richard Moot
SLOGICA
2002
61views more  SLOGICA 2002»
14 years 9 months ago
Proof Nets for the Multimodal Lambek Calculus
Richard Moot, Quintijn Puite