A deep inference system with a self-dual binder which is complete for linear lambda calculus.
Saved in:
| 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 |
Be the first to leave a comment!
