The following pages link to Robert F. C. Walters (Q633810):
Displaying 50 items.
- (Q517042) (redirect page) (← links)
- (Q1061828) (redirect page) (← links)
- (Q1255082) (redirect page) (← links)
- On the geometry and algebra of networks with state (Q517043) (← links)
- The compositional construction of Markov processes (Q633811) (← links)
- Coinverters and categories of fractions for categories with structure (Q690384) (← links)
- Variation through enrichment (Q1061829) (← links)
- On completeness of locally-internal categories (Q1094523) (← links)
- Cartesian bicategories. I (Q1098929) (← links)
- Sheaves on sites as Cauchy-complete categories (Q1170605) (← links)
- Algebra objects and algebra families for finite limit theories (Q1208209) (← links)
- Introduction to extensive and distributive categories (Q1208223) (← links)
- Yoneda structures on 2-categories (Q1255083) (← links)
- Computing left Kan extensions. (Q1426132) (← links)
- An axiomatics for bicategories of modules (Q1820858) (← links)
- The calculus of ends over a base topos (Q1824682) (← links)
- A note on context-free languages (Q1825945) (← links)
- The free category with products on a multigraph (Q1825946) (← links)
- The Todd-Coxeter procedure and left Kan extensions (Q1904139) (← links)
- Blocked-braid groups (Q2254601) (← links)
- Matrices, machines and behaviors (Q2563761) (← links)
- The compact closed bicategory of left adjoints (Q2709856) (← links)
- An Algebra of Automata That Includes Both Classical and Quantum Entities (Q2825378) (← links)
- Comparing cospan-spans and tiles via a Hoare-style process calculus (Q2841276) (← links)
- (Q2843909) (← links)
- Tangled Circuits (Q2847342) (← links)
- (Q2847779) (← links)
- (Q2847786) (← links)
- The compositional construction of Markov processes II (Q3006162) (← links)
- The duality between flow charts and circuits (Q3478583) (← links)
- Cartesian Bicategories II (Q3498625) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)
- Bicategories of spans as cartesian bicategories (Q3552040) (← links)
- (Q3810814) (← links)
- Data types in distributive categories (Q3827539) (← links)
- (Q3958648) (← links)
- (Q3963202) (← links)
- (Q3978969) (← links)
- Categories and Computer Science (Q4003856) (← links)
- Minimal realization in bicategories of automata (Q4236217) (← links)
- An imperative language based on distributive categories (Q4279256) (← links)
- An imperative language based on distributive categories II (Q4304553) (← links)
- (Q4311230) (← links)
- (Q4327836) (← links)
- (Q4373555) (← links)
- (Q4373556) (← links)
- (Q4511151) (← links)
- Minimisation and minimal realisation in Span(Graph) (Q4653018) (← links)
- (Q4843624) (← links)
- A note on recursive functions (Q4882495) (← links)
- (Q4990312) (← links)
- The comprehensive factorization of a functor (Q5182321) (← links)
