A linear logical framework
| Author(s) : | Frank Pfenning Iliano Cervesato, |
| Publisher : | N/A |
| Publication Date : | 1996 |
| ISSN : | N/A |
| Abstract : | We present the linear type theory LLF as the forAppeared, |
©2007 Dammam Community College
| Author(s) : | Frank Pfenning Iliano Cervesato, |
| Publisher : | N/A |
| Publication Date : | 1996 |
| ISSN : | N/A |
| Abstract : | We present the linear type theory LLF as the forAppeared, |