View in EDS PDF Full Text

Lambda Calculus and Intuitionistic Linear Logic.

Saved in:
Bibliographic Details
Title: Lambda Calculus and Intuitionistic Linear Logic.
Authors: della Rocca, Simona1 ronchi;rover@di.unito.it, Roversi, Luca1 ronchi;rover@di.unito.it
Source: Studia Logica. Nov1997, Vol. 59 Issue 3, p417-448. 32p.
Database: Mathematics Source
Description
ISSN:00393215
DOI:10.1023/A:1005092630115