Searching for "The call-by-value [lambda]-calculus a semantic investigation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

The Call-By-Value Lambda-Calculus: A Semantic Investigation
by A. Pravato, S. Ronchi Della Rocca, L. Roversi
…The call-by-value -calculus: a semantic investigation A. Pravato S. Ronchi della Rocca L…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB