What is a model for a semantically linear λ-calculus?
Saved in:
| Title: | What is a model for a semantically linear λ-calculus? |
|---|---|
| Authors: | Gaboardi, Marco1, Piccolo, Mauro2 |
| Source: | Journal of Logic & Computation; Jun2014, Vol. 24 Issue 3, p557-589, 33p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
