1997
Explicit substitutions for the $lambdaDelta$-calculus
Publication
Publication
Presented at the
International Conference on Algebraic and Logic Programming, Southampton
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Algebraic and Logic Programming | |
Barthe, G., Kamareddine, F., & Rios, A. (1997). Explicit substitutions for the $lambdaDelta$-calculus. In Algebraic and Logic Programming (pp. 209–223). Springer. |