scientific article; zbMATH DE number 2090072

zbMath1045.68070MaRDI QIDQ4808746

Julien Forest

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780174.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Resource operators for \(\lambda\)-calculus ⋮ Expression reduction systems with patterns

Uses Software

• OCaml

This page was built for publication: