Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions.

Guy Perrier

Browse the full LPAR paper archive.