latex macros for drawing proof-nets?

• To: types
• Subject: latex macros for drawing proof-nets?
• From: "T.K. Lakshman" <lakshman@cs.uiuc.edu>
• Date: Sat, 04 Jan 92 13:11:25 EST
• Sender: meyer@theory.lcs.mit.edu

Date: Fri, 3 Jan 92 14:16:33 -0600
To: linear@cs.stanford.edu

I was wondering if someone out there has used latex macros to draw
proof nets? If so, would they be willing to share?

thanks much,

tk

• Prev: Lindenbaum algebras and linear logic
• Next: cut-elimination and combinatorics
• Index(es):
  • Main
  • Thread