Index of /walters/publications/
../
1967-some-topics-in-the-theory-of-diophantine-a..> 07-Aug-2024 13:30 19M
1968-alternative-derivation-of-some-regular-con..> 17-May-2023 11:26 228K
1969-an-alternative-approach-to-universal-algeb..> 14-Jul-2024 20:29 273K
1970-a-categorical-approach-to-universal-algebr..> 17-May-2023 09:22 7M
1970-some-properties-of-the-continued-fraction-..> 16-Jul-2023 15:35 299K
1973-the-comprehensive-factorization-of-a-funct..> 14-Jul-2024 20:26 398K
1978-yoneda-structures-on-2-categories.pdf 17-May-2023 09:22 1M
1981-sheaves-and-cauchy-complete-categories.pdf 15-Dec-2020 00:34 271K
1981-the-symmetry-of-the-cauchy-completion-of-a..> 17-May-2023 09:23 274K
1982-sheaves-on-sites-as-cauchy-complete-catego..> 15-Dec-2020 00:36 349K
1983-on-completeness-of-locally-internal-catego..> 17-May-2023 09:22 726K
1983-variation-through-enrichment.pdf 17-May-2023 09:22 2M
1985-an-axiomatics-for-bicategories-of-modules.pdf 17-May-2023 09:22 894K
1985-basic-facts-about-bicategories-and-bimodul..> 21-Aug-2026 08:40 1M
1985-closed-bicategories-and-variable-category-..> 17-May-2023 09:22 391K
1987-cartesian-bicategories-i.pdf 17-May-2023 09:22 1M
1987-on-the-nerve-of-an-n-category.pdf 17-May-2023 11:30 2M
1988-a-note-on-context-free-languages.pdf 17-May-2023 09:22 296K
1988-the-free-category-with-products-on-a-multi..> 17-May-2023 09:22 387K
1989-data-types-in-distributive-categories.pdf 17-May-2023 09:22 141K
1989-the-calculus-of-ends-over-a-base-topos.pdf 17-May-2023 09:22 542K
1990-algebra-objects-and-algebra-families-for-f..> 17-May-2023 09:22 727K
1990-computing-quotients-of-actions-of-a-free-c..> 11-Jul-2023 14:15 709K
1990-the-duality-between-flow-chartes-and-circu..> 17-May-2023 09:22 345K
1990-the-duality-between-flow-charts-and-circui..> 17-May-2023 09:22 345K
1991-the-todd-coxeter-procedure-and-left-kan-ex..> 17-May-2023 09:22 467K
1992-an-imperative-language-based-on-distributi..> 17-May-2023 09:37 424K
1992-categories-and-computer-science.pdf 14-May-2020 11:52 1M
1993-an-automata-theoretic-approach-to-concurre..> 14-Jul-2024 20:39 218K
1993-an-imperative-language-based-on-distributi..> 17-May-2023 11:24 1M
1993-coinverters-and-categories-of-fractions-fo..> 14-Jul-2024 20:33 418K
1993-introduction-to-extensive-and-distributive..> 17-May-2023 09:22 739K
1993-on-distributive-automata-and-asynchronous-..> 12-Nov-2024 14:56 417K
1993-on-functions-and-processors-an-automata-th..> 12-Nov-2024 14:56 829K
1994-a-notion-of-refinement-for-automata.pdf 14-Jul-2024 20:31 166K
1994-representations-of-modules-and-cauchy-comp..> 17-May-2023 11:24 529K
1995-bicategories-of-processes.pdf 17-May-2023 09:22 329K
1995-fix-point-semantics-for-programs-in-distri..> 15-Mar-2023 12:29 737K
1996-a-note-on-recursive-functions.pdf 11-Jul-2023 14:26 587K
1996-matrices-machines-and-behaviors.pdf 17-May-2023 11:27 663K
1997-minimal-realization-in-bicategories-of-aut..> 17-May-2023 09:22 387K
1997-representing-place-transition-nets-in-span..> 17-May-2023 09:22 205K
1997-span-graph-a-categorical-algebra-of-transi..> 17-May-2023 09:22 682K
1998-models-of-continuous-and-discrete-dynamica..> 07-Aug-2024 13:53 24K
1999-computing-left-kan-extensions.pdf 17-May-2023 09:22 215K
1999-on-the-algebra-of-feedback-and-systems-wit..> 17-May-2023 09:22 316K
1999-the-compact-closed-bicategory-of-left-adjo..> 17-May-2023 09:22 458K
2000-a-formalization-of-the-iwim-model.pdf 07-May-2021 11:15 236K
2000-automata-with-boundary.pdf 14-Nov-2022 14:49 369K
2000-model-checking-in-span-graph.pdf 14-Jul-2024 20:32 89K
2001-an-automata-model-of-distributed-systems.pdf 14-Jul-2024 20:32 270K
2001-classes-of-finite-state-automata-for-which..> 14-Jul-2024 20:31 237K
2002-comparing-cospan-spans-and-tiles-via-a-hoa..> 30-Apr-2024 14:53 285K
2002-feedback-trace-and-fixed-point-semantics.pdf 17-May-2023 09:22 144K
2003-hierarchical-automata-and-p-systems.pdf 13-Jul-2024 09:41 198K
2004-compositional-minimization-in-span-graph-s..> 07-Aug-2024 14:00 325K
2004-minimisation-and-minimal-realisation-in-sp..> 14-Jul-2024 20:29 270K
2004-timing-in-the-cospan-span-model.pdf 13-Jul-2024 09:42 293K
2005-generic-commutative-seperable-algebras-and..> 14-Jul-2024 20:42 173K
2007-a-universal-property-of-the-monoidal-2-cat..> 17-May-2023 09:22 227K
2007-cartesian-bicategories-ii-tac.pdf 17-May-2023 09:22 421K
2007-cartesian-bicategories-ii.pdf 17-May-2023 09:22 422K
2007-frobenius-objects-in-cartesian-bicategorie..> 17-May-2023 09:22 357K
2008-calculating-colimits-compositionally.pdf 20-Sep-2022 14:51 446K
2008-on-partita-doppia.pdf 17-May-2023 09:22 141K
2009-a-process-algebra-for-the-span-graph-model..> 22-Sep-2023 12:42 119K
2009-an-algebra-of-automata-which-includes-both..> 17-May-2023 09:22 129K
2009-cospans-and-spans-of-graphs.pdf 13-Jul-2024 09:50 183K
2009-the-compositional-construction-of-markov-p..> 17-May-2023 09:22 163K
2009-the-parallel-composition-of-processes.pdf 17-May-2023 09:22 141K
2010-bicategories-of-spans-as-cartesian-bicateg..> 17-May-2023 09:22 313K
2011-tangled-circuits.pdf 17-May-2023 09:22 212K
2012-the-algebra-and-geometry-of-networks-abstr..> 14-Jul-2024 20:39 101K
2013-blocked-braid-groups.pdf 17-May-2023 09:22 281K
2013-racks-and-blocked-braids.pdf 17-May-2023 09:22 108K
2017-on-the-geometry-and-algebra-of-networks-wi..> 14-Jul-2024 20:21 589K
2018-the-compositional-construction-of-markov-p..> 17-May-2023 09:22 196K