The following pages link to (Q3999603):
Displaying 50 items.
- Causal categories: relativistically interacting processes (Q352872) (← links)
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- Categorical properties of \(M\)-indiscernibility spaces (Q642536) (← links)
- Fixed-point operations on ccc's. I (Q672122) (← links)
- Categorical ML -- category-theoretic modular programming (Q684395) (← links)
- Closedness of the category of liminf complete fuzzy orders (Q723220) (← links)
- Products in categories of relations (Q929971) (← links)
- From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality (Q1021567) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Universal monos in partial morphism categories (Q1037408) (← links)
- Graphical reasoning in compact closed categories for quantum computation (Q1044227) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Uniformly constructive monads (Q1174504) (← links)
- Categories with finite limits and stable binary coproducts can be subdirectly decomposed (Q1192251) (← links)
- Categorical models of polymorphism (Q1193592) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- From environments to representations -- a mathematical theory of artificial perceptions (Q1274888) (← links)
- Categorical logic and type theory (Q1279608) (← links)
- Topology, domain theory and theoretical computer science (Q1295216) (← links)
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
- \(F\)-semantics for type assignment systems (Q1329739) (← links)
- Stable power domains (Q1349652) (← links)
- Applications of category theory to the area of algebraic specification in computer science (Q1383220) (← links)
- A computable expression of closure to efficient causation (Q1617623) (← links)
- Safe \& robust reachability analysis of hybrid systems (Q1786614) (← links)
- Cut elimination in categories (Q1817695) (← links)
- On fixpoint objects and gluing constructions (Q1923803) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Algorithm design through the optimization of reuse-based generation (Q1980486) (← links)
- On injectivity in category of rough sets (Q2001114) (← links)
- On collecting semantics for program analysis (Q2182314) (← links)
- Conditionally reversible computations and weak universality in category theory (Q2256643) (← links)
- Pullback in partial morphism categories (Q2397325) (← links)
- The differential method and the causal incompleteness of programming theory in molecular biology (Q2426147) (← links)
- A structural approach to reversible computation (Q2581367) (← links)
- Modeling pointer redirection as cyclic term-graph rewriting (Q2867899) (← links)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856) (← links)
- Data Intensive Distributed Computing in Data Aware Self-organizing Networks (Q2889856) (← links)
- Logic in Category Theory (Q2909761) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- Categories for Software Engineering (Q3160259) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- (Q3384928) (← links)
- A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523) (← links)
- The sequential topology on is not regular (Q3643361) (← links)
- Introduction to higher order categorical logic (Q3727946) (← links)
- (Q4510453) (← links)
