René David, Karim Nour. Storage Operators and Directed Lambda-Calculus. Journal of Symbolic Logic, 60(4):1054-1086, 1995.
@article{DavidN95,
title = {Storage Operators and Directed Lambda-Calculus},
author = {René David and Karim Nour},
year = {1995},
researchr = {https://researchr.org/publication/DavidN95},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {60},
number = {4},
pages = {1054-1086},
}