Resource Operators for lambda-calculus - Archive ouverte HAL Access content directly
Journal Articles Information and Computation Year : 2007

Resource Operators for lambda-calculus

No file

Dates and versions

hal-00148539 , version 1 (22-05-2007)

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⟩
31 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More