scientific article; zbMATH DE number 1497856

From MaRDI portal

Publication:4499286

Jump to:navigation, search

zbMath0967.68032MaRDI QIDQ4499286

Ken-etsu Fujita

Publication date: 5 March 2001

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

zbMATH Keywords

communication calculus multiple-conclusion system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.

This page was built for publication:

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