View in EDS PDF Full Text

Linear Lambda-Terms and Natural Deduction.

Saved in:
Bibliographic Details
Title: Linear Lambda-Terms and Natural Deduction.
Authors: Mints, G.1 mints@csli.stanford.edu
Source: Studia Logica. Jan1998, Vol. 60 Issue 1, p209-231. 23p.
Database: Mathematics Source
Description
ISSN:00393215
DOI:10.1023/A:1005016206457