scientific article; zbMATH DE number 4007695

MaRDI QIDQ3757369zbMATH OpenFDO

Authors Peter Dybjer

Publication date 1986

zbMATH Keywords

type theorydomain theoryalgebraic semanticstyped \(\lambda \)-calculuscartesian closed categoriescartesian closurecategory theory in algebraic semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cited in

(5)

• Relationships between category theory and functional programming with an application
• scientific article; zbMATH DE number 92598 (Why is no real title available?)
• scientific article; zbMATH DE number 176139 (Why is no real title available?)
• scientific article; zbMATH DE number 3936500 (Why is no real title available?)
• Pre-adjunctions in order enriched categories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3757369)