View in EDS PDF Full Text

A deep inference system with a self-dual binder which is complete for linear lambda calculus.

Saved in:
Bibliographic Details
Title: A deep inference system with a self-dual binder which is complete for linear lambda calculus.
Authors: ROVERSI, LUCA1, luca.roversi@unito.it
Source: Journal of Logic & Computation; Apr2016, Vol. 26 Issue 2, p677-698, 22p
Database: Applied Science & Technology Source
Description
ISSN:0955792X
DOI:10.1093/logcom/exu033