Linear logic and computation: A survey
| Author(s) : | Andre Scedrov, |
| Publisher : | N/A |
| Publication Date : | 1993 |
| ISSN : | N/A |
| Abstract : | Abstract. This is a survey of computational aspects of linear logic related to proof search., |
©2007 Dammam Community College