Lambda-Calculus with Director Strings - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Applicable Algebra in Engineering, Communication and Computing Year : 2005

Lambda-Calculus with Director Strings

Not file

Dates and versions

inria-00133315 , version 1 (25-02-2007)

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

Share

Gmail Facebook Twitter LinkedIn More