scientific article

zbMath0609.18002MaRDI QIDQ3749213

Gérard Huet

Publication date: 1986

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

zbMATH Keywords

Cartesian closed categorieslambda-calculusequational nature of category theory

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Equational categories (18C05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Equational classes, universal algebra in model theory (03C05) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Subtractive logic

Uses Software

• LCF

This page was built for publication: