scientific article

From MaRDI portal

Publication:2708319

Jump to:navigation, search

zbMath1001.03014MaRDI QIDQ2708319

Masahiko Sato, Takafumi Sakurai, Rod M. Burstall

Publication date: 17 April 2001

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

zbMATH Keywords

confluence strong normalizability conservativity simply typed lambda calculus subject reduction explicit environments

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Two-level Lambda-calculus ⋮ The lambda-context calculus (extended version) ⋮ Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions

This page was built for publication:

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