@book(Aspe:Guer:98, author = {A. Asperti and S. Guerrini}, year = {1998}, title = {The Optimal Implementation of Functional Programming Languages}, publisher = {Cambridge University Press}, ) @book(Baad:Nipk:98, author = {F. Baader and T. Nipkow}, year = {1998}, title = {Term Rewriting and All That}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9781139172752}, ) @inproceedings(Bawd:86, author = {A. Bawden}, year = {1986}, title = {Connection Graphs}, booktitle = {{LFP} 1986}, publisher = {{ACM}}, pages = {258--265}, doi = {10.1145/319838.319868}, ) @incollection(Boud:85, author = {G. Boudol}, year = {1985}, title = {Computational semantics of term rewriting systems}, editor = {M. Nivat and J.C. Reynolds}, booktitle = {Algebraic Methods in Semantics}, publisher = {Cambridge University Press}, pages = {169--236}, ) @phdthesis(Brug:08, author = {H.J.S. Bruggink}, year = {2008}, title = {Equivalence of Reductions in Higher-Order Rewriting}, school = {Utrecht University}, url = {http://dspace.library.uu.nl/handle/1874/27575}, ) @article(Chur:Ross:36, author = {A. Church and J.B. Rosser}, year = {1936}, title = {Some properties of conversion}, journal = {Transactions of the American Mathematical Society}, volume = {39}, pages = {472--482}, doi = {10.1090/S0002-9947-1936-1501858-0}, ) @book(Deho:15, author = {P. Dehornoy and alii}, year = {2015}, title = {Foundations of {Garside} Theory}, publisher = {European Mathematical Society}, doi = {10.4171/139}, ) @inbook(Gijs:19, author = {V.A. Gijsbers}, year = {2019}, title = {Time and Causality across the Sciences}, chapter = {4: On the Causal Nature of Time}, pages = {49–71}, publisher = {Cambridge University Press}, doi = {10.1017/9781108592703.004}, ) @inproceedings(Gugl:Gund:Pari:10, author = {A. Guglielmi and T. Gundersen and M. Parigot}, year = {2010}, title = {{A Proof Calculus Which Reduces Syntactic Bureaucracy}}, booktitle = {{RTA} 2010}, series = {LIPIcs}, volume = {6}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, pages = {135--150}, doi = {10.4230/LIPIcs.RTA.2010.135}, ) @article(Hirs:13, author = {T. Hirschowitz}, year = {2013}, title = {Cartesian closed 2-categories and permutation equivalence in higher-order rewriting}, journal = {{LMCS}}, volume = {9}, number = {3}, doi = {10.2168/LMCS-9(3:10)2013}, ) @inproceedings(Huet:Levy:91, author = {G. Huet and J.-J. L\'{e}vy}, year = {1991}, title = {Computations in Orthogonal Rewriting Systems, {Part~\let\calc@A \calc@Acount \let\calc@B \calc@Bcount \begingroup\aftergroup \calc@B \calc@A \begingroup\aftergroup \calc@B \calc@A \afterassignment\def {\GenericError{(calc) }{Package calc Error: `\global' invalid at this point}{See the calc package documentation for explanation.}{I expected to see one of: + - * / )}}\calc@A 1!\global\calc@A \calc@B \endgroup\global \c@Romancnt \calc@B V +~\let\calc@A \calc@Acount \let\calc@B \calc@Bcount \begingroup\aftergroup \calc@B \calc@A \begingroup\aftergroup \calc@B \calc@A \afterassignment\def {\GenericError{(calc) }{Package calc Error: `\global' invalid at this point}{See the calc package documentation for explanation.}{I expected to see one of: + - * / )}}\calc@A 2!\global\calc@A \calc@B \endgroup\global \c@Romancnt \calc@B V}}, editor = {J.L. Lassez and G.D. Plotkin}, booktitle = {Computational Logic -- Essays in Honor of Alan Robinson}, publisher = {MIT Press}, pages = {395--443}, note = {Update of: Call-by-need computations in non-ambiguous linear term rewriting systems, 1979}, ) @article(Joya:Stre:91, author = {A. Joyal and R. Street}, year = {1991}, title = {The geometry of tensor calculus, \let\calc@A \calc@Acount \let\calc@B \calc@Bcount \begingroup\aftergroup \calc@B \calc@A \begingroup\aftergroup \calc@B \calc@A \afterassignment\def {\GenericError{(calc) }{Package calc Error: `\global' invalid at this point}{See the calc package documentation for explanation.}{I expected to see one of: + - * / )}}\calc@A 1!\global\calc@A \calc@B \endgroup\global \c@Romancnt \calc@B V}, journal = {Advances in Mathematics}, volume = {88}, number = {1}, pages = {55--112}, doi = {10.1016/0001-8708(91)90003-P}, ) @inproceedings(Khas:Glau:96, author = {Z. Khasidashvili and J.R.W. Glauert}, year = {1996}, title = {Discrete Normalization and Standardization in Deterministic Residual Structures}, booktitle = {{ALP}'96}, series = {LNCS}, volume = {1139}, publisher = {Springer}, pages = {135--149}, doi = {10.1007/3-540-61735-3_9}, ) @article(Khas:Glau:02, author = {Z. Khasidashvili and J.R.W. Glauert}, year = {2002}, title = {Relating conflict-free stable transition and event models via redex families}, journal = {{TCS}}, volume = {286}, number = {1}, pages = {65--95}, doi = {10.1016/S0304-3975(01)00235-3}, ) @phdthesis(Klop:80, author = {J.W. Klop}, year = {1980}, title = {Combinatory Reduction Systems}, school = {{R{ij}ks\-uni\-ver\-si\-teit} Utrecht}, ) @inproceedings(Lafo:90, author = {Y. Lafont}, year = {1990}, title = {Interaction Nets}, booktitle = {$17$th POPL}, publisher = {{ACM} Press}, pages = {95--108}, doi = {10.1145/96709.96718}, ) @article(Lane:94, author = {C. Laneve}, year = {1994}, title = {Distributive Evaluations of lambda-calculus}, journal = {Fundam. Informaticae}, volume = {20}, number = {4}, pages = {333--352}, doi = {10.3233/FI-1994-2043}, ) @phdthesis(Levy:78, author = {J.-J. L{\'e}vy}, year = {1978}, title = {R{\'e}ductions correctes et optimales dans le $\lambda$-calcul}, type = {Th{\`e}se de doctorat d'{\'e}tat}, school = {Universit{\'e} Paris \let\calc@A \calc@Acount \let\calc@B \calc@Bcount \begingroup\aftergroup \calc@B \calc@A \begingroup\aftergroup \calc@B \calc@A \afterassignment\def {\GenericError{(calc) }{Package calc Error: `\global' invalid at this point}{See the calc package documentation for explanation.}{I expected to see one of: + - * / )}}\calc@A 7!\global\calc@A \calc@B \endgroup\global \c@Romancnt \calc@B V}, url = {http://pauillac.inria.fr/~levy/pubs/78phd.pdf}, ) @phdthesis(Mell:96, author = {P.-A. Melli{\`e}s}, year = {1996}, title = {Description Abstraite des Syst{\`e}mes de R{\'e}{\'e}criture}, type = {Th{\`e}se de doctorat}, school = {Universit{\'e} Paris {\let\calc@A \calc@Acount \let\calc@B \calc@Bcount \begingroup\aftergroup \calc@B \calc@A \begingroup\aftergroup \calc@B \calc@A \afterassignment\def {\GenericError{(calc) }{Package calc Error: `\global' invalid at this point}{See the calc package documentation for explanation.}{I expected to see one of: + - * / )}}\calc@A 7!\global\calc@A \calc@B \endgroup\global \c@Romancnt \calc@B V}}, url = {http://www.irif.fr/~mellies/phd-mellies.pdf}, ) @inproceedings(Mell:05, author = {P.-A. Melli{\`{e}}s}, year = {2005}, title = {Axiomatic Rewriting Theory {\let\calc@A \calc@Acount \let\calc@B \calc@Bcount \begingroup\aftergroup \calc@B \calc@A \begingroup\aftergroup \calc@B \calc@A \afterassignment\def {\GenericError{(calc) }{Package calc Error: `\global' invalid at this point}{See the calc package documentation for explanation.}{I expected to see one of: + - * / )}}\calc@A 1!\global\calc@A \calc@B \endgroup\global \c@Romancnt \calc@B V:} {A} Diagrammatic Standardization Theorem}, booktitle = {Essays Dedicated to {Jan Willem Klop}}, series = {LNCS}, volume = {3838}, publisher = {Springer}, pages = {554--638}, doi = {10.1007/11601548_23}, ) @article(Mese:92, author = {J. Meseguer}, year = {1992}, title = {Conditional rewriting logic as a unified model of concurrency}, journal = {Theoretical Computer Science}, volume = {96}, pages = {73--155}, doi = {10.1016/0304-3975(92)90182-F}, ) @article(Newm:42, author = {M.H.A. Newman}, year = {1942}, title = {On theories with a combinatorial definition of ``equivalence''}, journal = {Annals of Mathematics}, volume = {43}, pages = {223--243}, doi = {10.2307/2269299}, ) @inproceedings(Oost:04, author = {V. van Oostrom}, year = {2004}, title = {{Sub-Birkhoff}}, booktitle = {{FLOPS} 2004}, series = {LNCS}, volume = {2998}, publisher = {Springer}, pages = {180--195}, doi = {10.1007/978-3-540-24754-8_14}, ) @inproceedings(Oost:20, author = {V. van Oostrom}, year = {2020}, title = {Some symmetries of commutation diamonds}, booktitle = {{IWC 2020}}, pages = {1--7}, url = {http://iwc2020.cic.unb.br/iwc2020_proceedings.pdf}, ) @inproceedings(Oost:Looi:Zwit:04, author = {V. van Oostrom and K.J. van de Looij and M. Zwitserlood}, year = {2004}, title = {Lambdascope}, booktitle = {{ALPS} 2004}, pages = {9}, url = {http://www.javakade.nl/research/pdf/lambdascope.pdf}, ) @inproceedings(Oost:Raam:94, author = {V. van Oostrom and F. van Raamsdonk}, year = {1994}, title = {Weak Orthogonality Implies Confluence: The Higher Order Case}, booktitle = {{LFCS'94}}, series = {LNCS}, volume = {813}, publisher = {Springer}, pages = {379--392}, doi = {10.1007/3-540-58140-5_35}, ) @book(Pear:09, author = {J. Pearl}, year = {2009}, title = {Causality: models, reasoning, and inference}, edition = {2nd}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511803161}, ) @inproceedings(Plot:Prat:96, author = {G.D. Plotkin and V.R. Pratt}, year = {1996}, title = {Teams can see pomsets}, editor = {D.A. Peled and V.R. Pratt and G.J. Holzmann}, booktitle = {Partial Order Methods in Verification, Proceedings of a {DIMACS} Workshop, {Princeton}, {New Jersey}, {USA}, July 24-26, 1996}, series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science}, volume = {29}, publisher = {{DIMACS/AMS}}, pages = {117--128}, doi = {10.1090/dimacs/029/07}, ) @inproceedings(Pous:10, author = {D. Pous}, year = {2010}, title = {Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic}, editor = {A. Dawar and H. Veith}, booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings}, series = {LNCS}, volume = {6247}, publisher = {Springer}, pages = {484--498}, doi = {10.1007/978-3-642-15205-4_37}, ) @unpublished(Rowl:Weis, author = {T. Rowland and E.W. Weisstein}, title = {Causal Network}, url = {https://mathworld.wolfram.com/CausalNetwork.html}, ) @incollection(Shan:16, author = {M. Shanahan}, year = {2016}, title = {{The Frame Problem}}, editor = {E.N. Zalta}, booktitle = {The {Stanford} Encyclopedia of Philosophy}, edition = {{S}pring 2016}, publisher = {Metaphysics Research Lab, Stanford University}, ) @phdthesis(Smit:17, author = {C.L. Smith}, year = {2017}, title = {Optimal Sharing Graphs for Substructural Higher-order Rewriting Systems}, school = {University of Kent}, url = {https://kar.kent.ac.uk/63884/}, ) @article(Star:89, author = {E.W. Stark}, year = {1989}, title = {Concurrent Transition Systems}, journal = {{TCS}}, volume = {64}, pages = {221--269}, doi = {10.1016/0304-3975(89)90050-9}, ) @article(Stew:02, author = {C.A. Stewart}, year = {2002}, title = {Reducibility between Classes of Port Graph Grammar}, journal = {J. Comput. Syst. Sci.}, volume = {65}, number = {2}, pages = {169--223}, doi = {10.1006/jcss.2002.1814}, ) @book(Tere:03, author = {Terese}, year = {2003}, title = {Term Rewriting Systems}, publisher = {Cambridge University Press}, ) @article(Viss:11, author = {A. Visser}, year = {2011}, title = {On the ambiguation of {P}olish notation}, journal = {Theoretical Computer Science}, volume = {412}, number = {28}, pages = {3404--3411}, doi = {10.1016/j.tcs.2011.01.025}, note = {Festschrift in Honour of Jan Bergstra}, ) @inproceedings(Wins:89, author = {G. Winskel}, year = {1989}, title = {An introduction to event structures}, booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency}, series = {LNCS}, volume = {354}, publisher = {Springer}, pages = {364--397}, doi = {10.1007/BFb0013026}, ) @book(Wolf:02, author = {S. Wolfram}, year = {2002}, title = {A New Kind of Science}, url = {https://www.wolframscience.com/nks/}, ) @article(Wolf:20, author = {S. Wolfram}, year = {2020}, title = {A Class of Models with the Potential to Represent Fundamental Physics}, journal = {Complex Systems}, volume = {28}, number = {2}, pages = {107--536}, doi = {10.25088/ComplexSystems.29.1.2}, )