The top documents tagged [linear logic proofs]