Algebraic domains of natural transformations

DOI10.1016/0304-3975(94)00122-YzbMATH Open0874.68182MaRDI QIDQ1349657FDOQ1349657

Authors: Adrian Fiech, Michael Huth 

Publication date: 27 February 1997

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Categories of embeddings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The largest Cartesian closed category of domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuations in possible-world semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

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

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)