scientific article; zbMATH DE number 6984327

From MaRDI portal

Publication:4556181

Jump to:navigation, search

zbMath1403.68033MaRDI QIDQ4556181

S. A. Nigiyan

Publication date: 23 November 2018

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

zbMATH Keywords

completeness translation comparability interpretation algorithm basic semantics typed functional program untyped functional program

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication:

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