scientific article; zbMATH DE number 4007695

zbMATH Open0621.68001MaRDI QIDQ3757369FDOQ3757369

Authors: Peter Dybjer 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 139984
• scientific article; zbMATH DE number 3985475
• scientific article; zbMATH DE number 49833
• scientific article; zbMATH DE number 554485
• scientific article; zbMATH DE number 176139

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)