{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:51Z","timestamp":1725455931986},"publisher-location":"Berlin\/Heidelberg","reference-count":89,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055873X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013826","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:24:11Z","timestamp":1132712651000},"page":"158-200","source":"Crossref","is-referenced-by-count":26,"title":["Multiparadigm logic programming"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Meseguer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"G. Agha. Actors. MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/83880.84528","volume":"33","author":"G. Agha","year":"1990","unstructured":"G. Agha. Concurrent object-oriented programming. Communications of the Association for Computing Machinery, 33:125\u2013141, September 1990.","journal-title":"Communications of the Association for Computing Machinery"},{"key":"12_CR3","unstructured":"G. Agha and C. Hewitt. Concurrent programming using actors. In A. Yonezawa and M. Tokoro, editors, Object-Oriented Concurrent Programming, pages 37\u201353. MIT Press, 1988."},{"key":"12_CR4","unstructured":"G. Agha, P. Wegner, and A. Yonezawa, editors. Proceedings of the ACM-SIGPLAN Workshop on Object-Based Concurrent Programming. ACM Sigplan Notices, April 1989."},{"key":"12_CR5","first-page":"44","volume-title":"ECOOP-OOPSLA'90 Conference on Object-Oriented Programming","author":"J. Andreoli","year":"1990","unstructured":"Jean-Marc Andreoli and Remo Pareschi. LO and behold! Concurrent structured processes. In ECOOP-OOPSLA'90 Conference on Object-Oriented Programming, Ottawa, Canada, October 1990, pages 44\u201356. ACM, 1990."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"M. Barr and C. Wells. Toposes, Triples and Theories. Springer-Verlag, 1985.","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Jan Bergstra and John Tucker. Characterization of computable data types by means of a finite equational specification method. In J. W. de Bakker and J. van Leeuwen, editors, Automata, Languages and Programming, Seventh Colloquium, pages 76\u201390. Springer-Verlag, 1980. LNCS, Volume 81.","DOI":"10.1007\/3-540-10003-2_61"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Berry and G\u00e9rard Boudol. The Chemical Abstract Machine. In Proc. POPL'90, pages 81\u201394. ACM, 1990.","DOI":"10.1145\/96709.96717"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"R. Burstall and B. Lampson. A kernel language for abstract data types and modules. In G. Kahn, D.B. MacQueen, and G.D. Plotkin, editors, Semantics of Data Types, pages 1\u201350. Springer LNCS 173, 1984.","DOI":"10.1007\/3-540-13346-1_1"},{"key":"12_CR10","volume-title":"Technical Report 10","author":"L. Cardelli","year":"1986","unstructured":"L. Cardelli. A polymorphic \u03bb-calculus with Type:Type. Technical Report 10, DEC System Research Center, Palo Alto, CA, 1986."},{"key":"12_CR11","volume-title":"Technical report","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli. A Quest Preview. Technical report, DEC System Research Center, Palo Alto, Ca, 1988."},{"key":"12_CR12","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0168-0072(86)90053-9","volume":"32","author":"J. Cartmell","year":"1986","unstructured":"J. Cartmell. Generalised algebraic theories and contextual categories. Annals Pure Appl. Logic, 32:209\u2013243, 1986.","journal-title":"Annals Pure Appl. Logic"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"12_CR14","unstructured":"A. Colmerauer, H. Kanoui, and M. van Caneghem. Etude et r\u00e9alisation d'un syst\u00e8me Prolog. Technical report, Groupe d'Intelligence Artificielle, U.E.R. de Luminy, Universit\u00e9 d'Aix-Marseille II, 1979."},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0167-6423(87)90020-7","volume":"8","author":"G. Cousineau","year":"1987","unstructured":"G. Cousineau, P.-L. Curien, and M. Mauny. The categorical abstract machine. Science of Computer Programming, 8:173\u2013202, 1987.","journal-title":"Science of Computer Programming"},{"key":"12_CR16","volume-title":"Categorical Combinators, Sequential Algorithms and Functional Programming","author":"P. Curien","year":"1986","unstructured":"Pierre-Louis Curien. Categorical Combinators, Sequential Algorithms and Functional Programming. Pitman, London, 1986."},{"key":"12_CR17","volume-title":"Technical report","author":"O. Dahl","year":"1970","unstructured":"Ole-Johan Dahl, B. Myhrhaug, and Kristen Nygaard. The simula 67 common base language. Technical report, Norwegian Computing Center, Oslo, 1970. Publication S-22."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"John Darlington and Yike Guo. Constrained equational deduction. Technical report, Dept. of Computing, Imperial College, June 1990.","DOI":"10.1007\/3-540-54317-1_111"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 243\u2013320. North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"12_CR20","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0304-3975(90)90064-O","volume":"75","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and M. Okada. A rationale for conditional equational programming. Theoretical Computer Science, 75:111\u2013138, 1990.","journal-title":"Theoretical Computer Science"},{"key":"12_CR21","unstructured":"Nachum Dershowitz and David A. Plaisted. Equational programming. In J. Richards, editor, Machine Intelligence 11: The logic and acquisition of knowledge, pages 21\u201356. Oxford University Press, 1988."},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro and A. Sernadas. Structuring theories on consequence. In D. Sannella and A. Tarlecki, editors, Recent Trends in Data Type Specification, pages 44\u201372. Springer LNCS 332, 1988.","DOI":"10.1007\/3-540-50325-0_3"},{"issue":"2","key":"12_CR23","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0743-1066(84)90003-7","volume":"1","author":"L. Fribourg","year":"1984","unstructured":"Laurent Fribourg. Oriented equational clauses as a programming language. Journal of Logic Programming, 1(2):179\u2013210, 1984.","journal-title":"Journal of Logic Programming"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud, and Jos\u00e9 Meseguer. Principles of OBJ2. In Brian Reid, editor, Proceedings of 12th ACM Symposium on Principles of Programming Languages, pages 52\u201366. ACM, 1985.","DOI":"10.1145\/318593.318610"},{"key":"12_CR25","unstructured":"Jean-Yves Girard. Interpr\u00e9tation Fonctionelle et \u00c9limination des Coupures dans l'Arithm\u00e9tique d'ordre Sup\u00e9rieure. PhD thesis, Univ. Paris VII, 1972."},{"key":"12_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear Logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"12_CR27","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1090\/conm\/092\/1003197","volume-title":"Proc. AMS Summer Research Conference on Categories in Computer Science and Logic","author":"J. Giraid","year":"1989","unstructured":"Jean-Yves Giraid. Towards a geometry of interaction. In J.W. Gray and A. Scedrov, editors, Proc. AMS Summer Research Conference on Categories in Computer Science and Logic, Boulder, Colorado, June 1987, pages 69\u2013108. American Mathematical Society, 1989."},{"key":"12_CR28","unstructured":"J.A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. Technical report, Computer Science Laboratory, SRI International, 1992. To appear in J.A. Goguen, D. Coleman and R. Gallimore, editors, Applications of Algebraic Specification Using OBJ, Cambridge University Press."},{"key":"12_CR29","unstructured":"Joseph Goguen. Abstract errors for abstract data types. In Peter Neuhold, editor, Proceedings of First IFIP Working Conference on Formal Description of Programming Concepts, pages 21.1\u201321.32. MIT, 1977. Also published in Formal Description of Programming Concepts, Peter Neuhold, Ed., North-Holland, pages 491\u2013522, 1979."},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Joseph Goguen. Some design principles and theory for OBJ-0, a language for expressing and executing algebraic specifications of programs. In Edward Blum, Manfred Paul, and Satsoru Takasu, editors, Proceedings, Mathematical Studies of Information Processing, pages 425\u2013473. Springer-Verlag, 1979. LNCS, Volume 75; Proceedings of a Workshop held August 1978.","DOI":"10.1007\/3-540-09541-1_36"},{"issue":"1","key":"12_CR31","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Joseph Goguen, Jean-Pierre Jouannaud, and Jos\u00e9 Meseguer. Operational semantics of order-sorted algebra. In W. Brauer, editor, Proceedings, 1985 International Conference on Automata, Languages and Programming, pages 221\u2013231. Springer-Verlag, 1988. LNCS, Volume 194.","DOI":"10.1007\/BFb0015747"},{"key":"12_CR33","first-page":"258","volume-title":"An introduction to OBJ3","author":"G. Joseph","year":"1988","unstructured":"Joseph Goguen, Claude Kirchner, H\u00e9l\u00e8ne Kirchner, Aristide M\u00e9grelis, Jos\u00e9 Meseguer, and Timothy Winkler. An introduction to OBJ3. In Jean-Pierre Jouannaud and Stephane Kaplan, editors, Proceedings, Conference on Conditional Term Rewriting, Orsay, France, July 8\u201310, 1987, pages 258\u2013263. Springer LNCS 308, 1988."},{"key":"12_CR34","first-page":"115","volume-title":"Proc. 2nd Intl. Logic Programming Conf.","author":"J. Goguen","year":"1984","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Equality, types, modules and generics for logic programming. In S.-A. T\u00e4rnlund, editor, Proc. 2nd Intl. Logic Programming Conf., Uppsala, July 2\u20136, 1984, pages 115\u2013125. Uppsala University, 1984."},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Eqlog: Equality, types, and generic modules for logic programming. In Douglas DeGroot and Gary Lindstrom, editors, Logic Programming: Functions, Relations and Equations, pages 295\u2013363. Prentice-Hall, 1986. An earlier version appears in Journal of Logic Programming, Volume 1, Number 2, pages 179\u2013210, September 1984.","DOI":"10.1016\/0743-1066(84)90004-9"},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Models and equality for logical programming. In Hartmut Ehrig, Giorgio Levi, Robert Kowalski, and Ugo Montanari, editors, Proceedings, 1987 TAPSOFT, pages 1\u201322. Springer-Verlag, 1987. LNCS, Volume 250; extended version to appear in J. Logic Programming.","DOI":"10.1007\/BFb0014969"},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In Bruce Shriver and Peter Wegner, editors, Research Directions in Object-Oriented Programming, pages 417\u2013477. MIT Press, 1987. Preliminary version in SIGPLAN Notices, Volume 21, Number 10, pages 153\u2013162, October 1986; also, Technical Report CSLI-87-93, Center for the Study of Language and Information, Stanford University, March 1987.","DOI":"10.1145\/323648.323755"},{"key":"12_CR38","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Technical Report SRI-CSL-89-10, SRI International, Computer Science Laboratory, July 1989. Given as lecture at Seminar on. Types, Carnegie-Mellon University, June 1983. Submitted for publication."},{"key":"12_CR39","unstructured":"Joseph Goguen, James Thatcher, and Eric Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. Technical Report RC 6487, IBM T. J. Watson Research Center, October 1976. Appears in Current Trends in Programming Methodology, IV, Raymond Yeh, Ed., Prentice-Hall, 1978, pages 80\u2013149."},{"key":"12_CR40","unstructured":"R. Harper, F. Honsell, and G. Plotkin. A framework for defining logics. In Proceedings, Second Symposium on Logic in Computer Science, pages 194\u2013204. IEEE Computer Society Press, 1987."},{"key":"12_CR41","doi-asserted-by":"crossref","unstructured":"R. Harper, D. Sannella, and A. Tarlecki. Structure and representation in LF. In Proc. LICS'89, pages 226\u2013237. IEEE, 1989.","DOI":"10.1109\/LICS.1989.39177"},{"key":"12_CR42","unstructured":"Robert Harper, David MacQueen, and Robin Milner. Standard ML. Technical Report ECS-LFCS-86-2, Dept. of Computer Science, University of Edinburgh, 1986."},{"issue":"4","key":"12_CR43","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/357153.357158","volume":"1","author":"C. M. Hoffmann","year":"1982","unstructured":"Christoph M. Hoffmann and Michael O'Donnell. Programming with equations. Transactions on Programming Languages and Systems, 1(4):83\u2013112, 1982.","journal-title":"Transactions on Programming Languages and Systems"},{"key":"12_CR44","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(90)90063-N","volume":"75","author":"S. H\u00f6ldobler","year":"1990","unstructured":"Steffen H\u00f6ldobler. Conditional equational theories and complete sets of transformations. Theoretical Computer Science, 75:85\u2013110, 1990.","journal-title":"Theoretical Computer Science"},{"key":"12_CR45","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"Gerard Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the Association for Computing Machinery, 27:797\u2013821, 1980. Preliminary version in 18th Symposium on Mathematical Foundations of Computer Science, 1977.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"12_CR46","doi-asserted-by":"crossref","unstructured":"Jean-Marie Hullot. Canonical forms and unification. In Wolfgang Bibel and Robert Kowalski, editors, Proceedings, Fifth Conference on Automated Deduction, pages 318\u2013334. Springer-Verlag, 1980. LNCS, Volume 87.","DOI":"10.21236\/ADA087640"},{"key":"12_CR47","doi-asserted-by":"crossref","unstructured":"H. Hussmann. Unification in conditional equational theories. In B.F. Caviness, editor, Proc. EUROCAL 2, pages 543\u2013553. Springer LNCS, Vol. 204, 1985.","DOI":"10.1007\/3-540-15984-3_328"},{"key":"12_CR48","first-page":"137","volume-title":"Proc. AMS Summer Research Conference on Categories in Computer Science and Logic","author":"J.M.E. Hyland","year":"1988","unstructured":"J.M.E. Hyland and A. Pitts. The theory of constructions: Categorical semantics and topostheoretic models. In J.W. Gray and A. Scedrov, editors, Proc. AMS Summer Research Conference on Categories in Computer Science and Logic, Boulder, Colorado, June 1987, pages 137\u2013199. American Mathematical Society, 1988."},{"key":"12_CR49","first-page":"287","volume-title":"LNCS No. 317","author":"C. Kirchner","year":"1988","unstructured":"Claude Kirchner, H\u00e9l\u00e8ne Kirchner, and Jos\u00e9 Meseguer. Operational semantics of OBJ3. In T. Lepist\u00f6 and A. Salomaa, editors, Proceedings, 15th Intl. Coll. on Automata, Languages and Programming, Tampere, Finland, July 11\u201315, 1988, pages 287\u2013301. Springer-Verlag, LNCS No. 317, 1988."},{"key":"12_CR50","unstructured":"Robert Kowalski. Logic for problem solving. Technical Report DCL Memo 75, Department of Artificial Intelligence, University of Edinburgh, 1974. Also, a book in the Artificial Intelligence Series, North-Holland Press, 1979."},{"key":"12_CR51","unstructured":"J. Lambek and P.J. Scott. Introduction to Higher Order Categorical Logic. Cambridge Univ. Press, 1986."},{"key":"12_CR52","unstructured":"Saunders MacLane. Categories for the working mathematician. Springer-Verlag, 1971."},{"key":"12_CR53","unstructured":"J.A. Makowski. Why Horn formulas matter in computer science: Initial structures and generic examples. Technical Report 329, C.S. Dept, Technion, July 1984."},{"key":"12_CR54","unstructured":"Narciso Mart\u00ed-Oliet and Jos\u00e9 Meseguer. Inclusions and subtypes. Technical Report SRI-CSL-90-16, SRI International, Computer Science Laboratory, December 1990. Submitted for publication."},{"issue":"4","key":"12_CR55","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1142\/S0129054191000182","volume":"2","author":"N. Mart\u00ed'-Oliet","year":"1991","unstructured":"Narciso Mart\u00ed'-Oliet and Jos\u00e9 Meseguer. From Petri nets to linear logic through categories: a survey. Intl. J. of Foundations of Comp. Sci., 2(4):297\u2013399, 1991.","journal-title":"Intl. J. of Foundations of Comp. Sci."},{"key":"12_CR56","doi-asserted-by":"crossref","unstructured":"P. Martin-L\u00f6f. An Intuitionistic Theory of Types: Predicative Part. In H.E. Rose and J.C. Shepherdson, editors, Logic Colloquium'73, pages 73\u2013118. Noth-Holland, 1973.","DOI":"10.1016\/S0049-237X(08)71945-1"},{"key":"12_CR57","unstructured":"P. Martin-L\u00f6f. Intuitionistic Type Theory. Bibliopolis, 1984."},{"key":"12_CR58","unstructured":"Satoshi Matsuoka, Ken Wakita, and Akinori Yonezawa. Inheritance anomaly in object-oriented concurrent programming languages. Dept. of Information Science, University of Tokyo, January 1991."},{"key":"12_CR59","doi-asserted-by":"crossref","unstructured":"Brian H. Mayoh. Galleries and institutions. Technical Report DAIMI PB-191, Computer Science Dept., Aarhus University, 1985.","DOI":"10.7146\/dpb.v14i191.7463"},{"key":"12_CR60","doi-asserted-by":"crossref","unstructured":"J. Meseguer. Relating Models of Polymorphism. In Proc. POPL'89, pages 228\u2013241. ACM, 1989.","DOI":"10.1145\/75277.75297"},{"key":"12_CR61","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. General logics. In H.-D. Ebbinghaus et al., editor, Logic Colloquium'87, pages 275\u2013329. North-Holland, 1989.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"12_CR62","first-page":"101","volume-title":"ECOOP-OOPSLA'90 Conference on Object-Oriented Programming","author":"J. Meseguer","year":"1990","unstructured":"Jos\u00e9 Meseguer. A logical theory of concurrent objects. In ECOOP-OOPSLA'90 Conference on Object-Oriented Programming, Ottawa, Canada, October 1990, pages 101\u2013115. ACM, 1990."},{"key":"12_CR63","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. Rewriting as a unified model of concurrency. In Proceedings of the Concur'90 Conference, Amsterdam, August 1990, pages 384-400. Springer LNCS 458, 1990.","DOI":"10.1007\/BFb0039072"},{"key":"12_CR64","unstructured":"Jos\u00e9 Meseguer. Rewriting as a unified model of concurrency. Technical Report SRI-CSL-90-02, SRI International, Computer Science Laboratory, February 1990. Revised June 1990."},{"issue":"1","key":"12_CR65","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Jos\u00e9 Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73\u2013155, 1992. Also, SRI International, Computer Science Laboratory technical report SRI-CSL-91-05, February, 1991.","journal-title":"Theoretical Computer Science"},{"key":"12_CR66","unstructured":"Jos\u00e9 Meseguer. A logical theory of concurrent objects and its realization in the Maude language. To appear in G. Agha, P. Wegner, and A. Yonezawa (eds.) Research Directions in Object-Based Concurrency, 1992."},{"key":"12_CR67","unstructured":"Jos\u00e9 Meseguer and Joseph Goguen. Initiality, induction and computability. In Maurice Nivat and John Reynolds, editors, Algebraic Methods in Semantics, pages 459\u2013541. Cambridge University Press, 1985."},{"key":"12_CR68","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/S0747-7171(89)80036-7","volume":"8","author":"J. Meseguer","year":"1989","unstructured":"Jos\u00e9 Meseguer, Joseph Goguen, and Gert Smolka. Order-sorted unification. J. Symbolic Computation, 8:383\u2013413, 1989.","journal-title":"J. Symbolic Computation"},{"key":"12_CR69","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer and Ugo Montanari. Petri nets are monoids: A new algebraic foundation for net theory. In Proc. LICS'88, pages 155\u2013164. IEEE, 1988.","DOI":"10.1109\/LICS.1988.5114"},{"key":"12_CR70","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"Jos\u00e9 Meseguer and Ugo Montanari. Petri nets are monoids. Information and Computation, 88:105\u2013155, 1990. Appeared as SRI Tech Report SRI-CSL-88-3, January 1988.","journal-title":"Information and Computation"},{"key":"12_CR71","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer and Timothy Winkler. Parallel Programming in Maude. In J.-P. Ban\u00e2tre and D. Le M\u00e8tayer, editors, Research Directions in High-level Parallel Programming Languages, pages 253\u2013293. Springer-Verlag, 1992. LNCS, Volume 574; also, SRI Technical Report SRI-CSL-91-08, November 1991.","DOI":"10.1007\/3-540-55160-3_49"},{"key":"12_CR72","doi-asserted-by":"crossref","unstructured":"Dale Miller. A logic programming language with lambda-abstraction, function variables, and simple unification. In P. Schroeder-Heister, editor, Extensions of Logic Programming, pages 253\u2013281. Springer-Verlag, 1990. LNCS, Volume 475.","DOI":"10.1007\/BFb0038698"},{"key":"12_CR73","unstructured":"Robin Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"12_CR74","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0747-7171(89)80014-8","volume":"7","author":"W. Nutt","year":"1989","unstructured":"Werner Nutt, Pierre R\u00e9ty, and Gert Smolka. Basic narrowing revisited. J. Symbolic Computation, 7:295\u2013317, 1989.","journal-title":"J. Symbolic Computation"},{"key":"12_CR75","doi-asserted-by":"crossref","unstructured":"Michael J. O'Donnell. Computing in Systems Described by Equations. Springer-Verlag LNCS 58, 1977.","DOI":"10.1007\/3-540-08531-9"},{"key":"12_CR76","doi-asserted-by":"crossref","unstructured":"Michael J. O'Donnell. Equational Logic as a Programming Language. MIT Press, 1985.","DOI":"10.1007\/3-540-15648-8_20"},{"key":"12_CR77","unstructured":"M. Papathomas. Concurrency issues in object-oriented programming languages. In D. Tsichritzis, editor, Object Oriented Development, pages 207\u2013246. Universit\u00e9 de Geneve, 1989."},{"key":"12_CR78","doi-asserted-by":"crossref","unstructured":"J.C. Reynolds. Towards a Theory of Type Structure. In B. Robinet, editor, Programming Symposium, pages 408\u2013425. Springer LNCS 19, 1974.","DOI":"10.1007\/3-540-06859-7_148"},{"key":"12_CR79","unstructured":"Vijay Saraswat. Concurrent constraint programming languages. PhD thesis, Computer Science Department, Carnegie-Mellon University, 1989."},{"key":"12_CR80","doi-asserted-by":"crossref","unstructured":"D. Scott. Completeness and axiomatizability in many-valued logic. In L. Henkin et al., editor, Proc. Tarski Symp., pages 411\u2013435. AMS, 1974.","DOI":"10.1090\/pspum\/025\/0363802"},{"key":"12_CR81","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1017\/S0305004100061284","volume":"95","author":"R.A.G. Seely","year":"1984","unstructured":"R.A.G. Seely. Locally cartesian closed categories and type theory. Math. Proc. Camb. Phil. Soc., 95:33\u201348, 1984.","journal-title":"Math. Proc. Camb. Phil. Soc."},{"issue":"4","key":"12_CR82","doi-asserted-by":"crossref","first-page":"969","DOI":"10.2307\/2273831","volume":"52","author":"R.A.G. Seely","year":"1987","unstructured":"R.A.G. Seely. Categorical semantics for higher order polymorphic lambda calculus. J. Symbol Logic, 52(4):969\u2013989, 1987.","journal-title":"J. Symbol Logic"},{"key":"12_CR83","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"E. Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21:413\u2013510, 1989.","journal-title":"ACM Computing Surveys"},{"key":"12_CR84","unstructured":"P. Taylor. Recursive Domains, Indexed Category Theory and Polymorphism. PhD thesis, Mathematics Department, University of Cambridge, 1987."},{"issue":"4","key":"12_CR85","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"Maarten H. van Emden and Robert A. Kowalski. The semantics of predicate logic as a programming language. Journal of the Association for Computing Machinery, 23(4):733\u2013742, 1976.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"12_CR86","unstructured":"Maarten H. van Emden and Keitaro Yukawa. Equational logic programming. Technical Report CS-86-05, University of Waterloo, March 1986."},{"key":"12_CR87","doi-asserted-by":"crossref","unstructured":"H. Volger. Completeness theorem for logical categories. In F.W. Lawvere, C. Maurer, and G.C. Wraith, editors, Model Theory and Topoi. Springer Lecture Notes in Mathematics No. 445, 1975.","DOI":"10.1007\/BFb0061293"},{"key":"12_CR88","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/382192.383004","volume":"1","author":"P. Wegner","year":"1990","unstructured":"Peter Wegner. Concepts and paradigms of object-oriented programming. OOPS Messenger, 1:7\u201387, 1990.","journal-title":"OOPS Messenger"},{"key":"12_CR89","doi-asserted-by":"crossref","unstructured":"A. Yonezawa and M. Tokoro, editors. Object-Oriented Concurrent Programming. MIT Press, 1988.","DOI":"10.1016\/B978-0-934613-63-7.50046-2"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013826","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T11:42:06Z","timestamp":1683286926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013826"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055873X"],"references-count":89,"URL":"https:\/\/doi.org\/10.1007\/bfb0013826","relation":{},"subject":[]}}