scientific article
From MaRDI portal
Publication:3757369
zbMath0621.68001MaRDI QIDQ3757369
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic semanticstype theorydomain theorytyped \(\lambda \)-calculuscartesian closed categoriescartesian closurecategory theory in algebraic semantics
Specification and verification (program logics, model checking, etc.) (68Q60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
This page was built for publication: