The following pages link to (Q3727946):
Displayed 50 items.
- The Peirce translation (Q408162) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
- How to be a structuralist all the way down (Q542132) (← links)
- Languages for monoidal categories (Q584380) (← links)
- What is the world of mathematics? (Q598279) (← links)
- Monad transformers as monoid transformers (Q615955) (← links)
- Categorical approaches to non-commutative fuzzy logic (Q622031) (← links)
- Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
- Fixed-point operations on ccc's. I (Q672122) (← links)
- Principles of programming with complex objects and collection types (Q672333) (← links)
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- Equational theories for inductive types (Q678762) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- A single complete rule for data refinement (Q684396) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- I-categories as a framework for solving domain equations (Q685401) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Functional interpretations of feasibly constructive arithmetic (Q685962) (← links)
- Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category (Q687575) (← links)
- Categorical relationships between Goguen sets and ``two-sided'' categorical models of linear logic (Q705522) (← links)
- A note on inconsistencies caused by fixpoints in a cartesian closed category (Q749648) (← links)
- Categorical and algebraic aspects of Martin-Löf type theory (Q750438) (← links)
- List-arithmetic distributive categories: Locoi (Q752170) (← links)
- Fixed points in Cartesian closed categories (Q753945) (← links)
- Functorial polymorphism (Q753948) (← links)
- Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
- The structure of free closed categories (Q803265) (← links)
- Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid (Q803268) (← links)
- An abstract framework for environment machines (Q804281) (← links)
- Kripke-style models for typed lambda calculus (Q804559) (← links)
- Regular algebra applied to language problems (Q817577) (← links)
- An exactification of the monoid of primitive recursive functions (Q817674) (← links)
- A model for spacetime: the role of interpretation in some Grothendieck topoi (Q862637) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- Finitary topos for locally finite, causal and quantal vacuum Einstein gravity (Q880980) (← links)
- Codatatypes in ML (Q908682) (← links)
- E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory (Q908685) (← links)
- Do-it-yourself type theory (Q911744) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Semantical analysis of specification logic (Q913527) (← links)
- A note on Russell's paradox in locally Cartesian closed categories (Q914668) (← links)
- Pluri-adjoints and preservation of finite limits (Q914820) (← links)
- A generalization of the concept of sketch (Q916772) (← links)
- Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL (Q918956) (← links)
- On some connections between logic and category theory (Q919088) (← links)
- Monoidal categories with natural numbers object (Q920197) (← links)
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)