scientific article

From MaRDI portal

Publication:3978972

Jump to:navigation, search

zbMath0782.03004MaRDI QIDQ3978972

John W. Gray

Publication date: 26 June 1992

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

zbMATH Keywords

polymorphism typed lambda calculus PCF order- enriched categories order-enriched sketches

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Simultaneous substitution in the typed lambda calculus ⋮ Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category

This page was built for publication:

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