scientific article; zbMATH DE number 1956511

zbMath1029.68088MaRDI QIDQ4417857

Eduardo Bonelli

Publication date: 30 July 2003

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items (1)

Normalisation for higher-order calculi with explicit substitutions

This page was built for publication: