scientific article; zbMATH DE number 1231457

zbMath0908.18002MaRDI QIDQ4222758

Robert D. Tennent, Peter J. Freyd, A. John Power, Makoto Takeyama, Peter W. O'Hearn

Publication date: 10 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#power

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

zbMATH Keywords

symmetric monoidal categorypresheaf categorysyntactic control of interferencebireflectivitycoherence conditionclosed structurefinite product structure

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

This page was built for publication: