Searching for "A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Category." – sorted by Relevance.
-
Two-Categories and Program Structure
- Poign'e. A note on inconsistencies caused by fixpoints in a cartesian closed category. Theoretical
- Add To MetaCart

