Tail recursion through universal invariants

This publication has 14 references indexed in Scilit:

• *-Autonomous categories and linear logic
  Mathematical Structures in Computer Science, 1991
• List-arithmetic distributive categories: Locoi
  Journal of Pure and Applied Algebra, 1990
• Categorical fixed point semantics
  Theoretical Computer Science, 1990
• A note on natural numbers objects in monoidal categories
  Studia Logica, 1989
• Monoidal categories with natural numbers object
  Studia Logica, 1989
• Coalgebras and cartesian categories
  Communications in Algebra, 1976
• Metric spaces, generalized logic, and closed categories
  Rendiconti del Seminario Matematico e Fisico di Milano, 1973
• Monads on symmetric monoidal closed categories
  Archiv der Mathematik, 1970
• Adjointness in Foundations
  Dialectica, 1969
• A fixpoint theorem for complete categories
  Mathematische Zeitschrift, 1968