HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Lambda-Calculus with Director Strings

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00133315
Contributor : Ian Mackie Connect in order to contact the contributor
Submitted on : Sunday, February 25, 2007 - 4:31:21 PM
Last modification on : Thursday, March 5, 2020 - 6:22:10 PM

Identifiers

  • HAL Id : inria-00133315, version 1

Collections

Citation

Ian Mackie, Maribel Fern{Á}ndez, François-Régis Sinot. Lambda-Calculus with Director Strings. Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2005, Journal of Applicable Algebra in Engineering, Communication and Computing, 15 (6), pp.393--437. ⟨inria-00133315⟩

Share

Metrics

Record views

28