STANDARDIZATION AND CONSERVATIVITY OF A REFINED CALL-BY-VALUE LAMBDA-CALCULUS.
Saved in:
| Title: | STANDARDIZATION AND CONSERVATIVITY OF A REFINED CALL-BY-VALUE LAMBDA-CALCULUS. |
|---|---|
| Authors: | GUERRIERI, GIULIO1, giulio.guerrieri@cs.ox.ac.uk, PAOLINI, LUCA2, paolini@di.unito.it, ROCCA, SIMONA RONCHI DELLA2, ronchi@di.unito.it |
| Source: | Logical Methods in Computer Science (LMCS); 2017, Vol. 13 Issue 4, p1-27, 27p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
