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
Be the first to leave a comment!
You must be logged in first