Journal Articles
Applicable Algebra in Engineering, Communication and Computing
Year : 2005
Ian Mackie : Connect in order to contact the contributor
https://inria.hal.science/inria-00133315
Submitted on : Sunday, February 25, 2007-4:31:21 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Dates and versions
Identifiers
- HAL Id : inria-00133315 , version 1
Cite
Ian Mackie, Maribel Fern{á}ndez, François-Régis Sinot. Lambda-Calculus with Director Strings. Applicable Algebra in Engineering, Communication and Computing, 2005, Journal of Applicable Algebra in Engineering, Communication and Computing, 15 (6), pp.393--437. ⟨inria-00133315⟩
Collections
34
View
0
Download