Algebraic domains of natural transformations

DOI10.1016/0304-3975(94)00122-YMaRDI QIDQ1349657zbMATH OpenFDO

Authors Adrian Fiech, Michael Huth

Publication date 27 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Functor categories, comma categories (18A25)

Recommendations

• scientific article; zbMATH DE number 794177
• Algebras of linear transformations
• scientific article; zbMATH DE number 3881863
• Transposition algebras
• scientific article; zbMATH DE number 4067893
• Theory of natural transform
• scientific article; zbMATH DE number 1304814
• Algebraically reflexive linear transformations
• Affine transformations of algebraic numbers
• Algebraic reflexivity of linear transformations

Cites work

• scientific article; zbMATH DE number 3898200 (Why is no real title available?)
• scientific article; zbMATH DE number 3949678 (Why is no real title available?)
• scientific article; zbMATH DE number 4050971 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 47007 (Why is no real title available?)
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 177773 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 517039 (Why is no real title available?)
• scientific article; zbMATH DE number 1142321 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Categories of embeddings
• Continuations in possible-world semantics
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The largest Cartesian closed category of domains

Cited in

(3)

• Theory of natural transform
• Polymorphic lambda calculus and subtyping.
• Category of Δ-functors

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Algebraic domains of natural transformations

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