scientific article

From MaRDI portal

Publication:3309806

Jump to:navigation, search

zbMath0528.03007MaRDI QIDQ3309806

Adam Obtułowicz, Antoni Wiweger

Publication date: 1981

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

zbMATH Keywords

Cartesian closed categories functional interpretations hyperalgebra type free lambda calculus

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Functional programming with combinators

This page was built for publication:

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