scientific article

From MaRDI portal

Publication:2844066

Jump to:navigation, search

zbMath1270.68139MaRDI QIDQ2844066

Jorge Sousa Pinto

Publication date: 27 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105826143

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)

The graphical Krivine machine

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2844066&oldid=15771712"