|
||||
Name: Linear Network Description: Linear Logic in Computer Science is lead by the "Logic of Programming" research team. Its thematic is focused on developing the theory and the applications of Linear Logic. It is forme Category: Proof Theory Url: http://iml.univ-mrs.fr/ldp/LINEAR/ Date: 20-11-2001 Current Rating: 5.00
|
||||
|
Something wrong with this resource? Report this link as broken |
||||
