9 citations · 15 across the 12 of their papers we have counts for
1 paper · 2 filters
Sandra Alves, Maribel Fernández, Ian Mackie
We offer a simple graphical representation for proofs of intuitionistic logic, which is inspired by proof nets and interaction nets (two formalisms originating in linear logic). Th…