Author: "Cirstea, Horatiu" / Journal: higher-order & symbolic computation - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Cirstea, Horatiu"' showing total 2 results

Start Over Author "Cirstea, Horatiu" Journal higher-order & symbolic computation

2 results on '"Cirstea, Horatiu"'

1. A ρ-calculus of explicit constraint application

Author: Cirstea, Horatiu, Faure, Germain, and Kirchner, Claude
Published: 2007

2. Expressing combinatory reduction systems derivations in the rewriting calculus

Author: Bertolissi, Clara, Cirstea, Horatiu, and Kirchner, Claude
Published: 2006

Catalog

Books, media, physical & digital resources

See catalog results