BibTeX
@MISC{Scedrov93abrief,
author = {Andre Scedrov},
title = {A Brief Guide to Linear Logic},
year = {1993}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
An overview of linear logic is given, including an extensive bibliography and a simple example of the close relationship between linear logic and computation.
