Journal Articles
Information and Computation
Year : 2007
Delia KESNER : Connect in order to contact the contributor
https://hal.science/hal-00148539
Submitted on : Tuesday, May 22, 2007-4:57:34 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Dates and versions
Identifiers
- HAL Id : hal-00148539 , version 1
Cite
Delia Kesner, Stéphane Lengrand. Resource Operators for lambda-calculus. Information and Computation, 2007, 205 (4), pp.419-473. ⟨hal-00148539⟩
Collections
31
View
0
Download