Tail recursion through universal invariants
From MaRDI portal
Publication:685396
DOI10.1016/0304-3975(93)90059-3zbMATH Open0779.68057OpenAlexW2029006139MaRDI QIDQ685396FDOQ685396
Publication date: 23 January 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)90059-3
Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Category-Theoretic Solution of Recursive Domain Equations
- Metric spaces, generalized logic, and closed categories
- Monoidal categories with natural numbers object
- Monads on symmetric monoidal closed categories
- A fixpoint theorem for complete categories
- Adjointness in Foundations
- Coalgebras and cartesian categories
- List-arithmetic distributive categories: Locoi
- *-Autonomous categories and linear logic
- Categories of partial maps
- Categorical fixed point semantics
- An imperative language based on distributive categories II
- Cartesian categories with natural numbers object
- Data types in distributive categories
- A note on natural numbers objects in monoidal categories
Cited In (3)
Recommendations
This page was built for publication: Tail recursion through universal invariants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685396)
