Found 79 Documents (Results 1–79)
CHAD for expressive total languages. (English) Zbl 07813349
MSC:
68-XX
Characterizing functions mappable over GADTs. (English) Zbl 1524.68200
Sergey, Ilya (ed.), Programming languages and systems. 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13658, 135-154 (2022).
The wheel of rational numbers as an abstract data type. (English) Zbl 07415131
Roggenbach, Markus (ed.), Recent trends in algebraic development techniques. 25th international workshop, WADT 2020, virtual event, April 29, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12669, 13-30 (2021).
MSC:
68Qxx
On well-founded and recursive coalgebras. (English) Zbl 1455.18001
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur)
Variations on inductive-recursive definitions. (English) Zbl 1445.03010
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 63, 13 p. (2017).
Positive inductive-recursive definitions. (English) Zbl 1347.68246
MSC:
68Q65
03B15
Well-pointed coalgebras. (English) Zbl 1272.18002
The algebra of directed acyclic graphs. (English) Zbl 1264.18005
Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 37-51 (2013).
Type fusion. (English) Zbl 1308.68041
Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 92-110 (2011).
The initial meadows. (English) Zbl 1217.68142
Reviewer: Răzvan Diaconescu (Ploiesti)
Adjoint folds and unfolds. Or: Scything through the thicket of morphisms. (English) Zbl 1286.68080
Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 195-228 (2010).
Complete iterativity for algebras with effects. (English) Zbl 1239.68046
Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 34-48 (2009).
Foundations for structured programming with GADTs. (English) Zbl 1295.68151
Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 297-308 (2008).
Category theoretic semantics for typed binding signatures with recursion. (English) Zbl 1159.03047
Reviewer: Lutz Schröder (Bremen)
Abstract syntax: substitution and binders. (English) Zbl 1316.68035
Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 3-16 (2007).
An initial algebra approach to term rewriting systems with variable binders. (English) Zbl 1105.68055
MSC:
68Q42
A unified category-theoretic semantics for binding signatures in substructural logics. (English) Zbl 1105.03072
\(\mu\)-bicomplete categories and parity games. (English) Zbl 1024.18001
Reviewer: Václav Koubek (Praha)
Final coalgebras are ideal completions of initial algebras. (English) Zbl 1003.18009
Reviewer: Václav Koubek (Praha)
Fixpoint operators for domain equations. (English) Zbl 1002.68087
MSC:
68Q55
Lectures on semantics: The initial algebra and final coalgebra perspectives. (English) Zbl 0882.68086
Schwichtenberg, Helmut (ed.), Logic of computation. Proceedings of the NATO ASI. Marktoberdorf, Germany. July 25–August 6, 1995. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 157, 1-33 (1997).
MSC:
68Q55
A presentation of the initial lift-algebra. (English) Zbl 0879.18006
Reviewer: S.V.Solov’ev (Durham)
On fixpoint objects and gluing constructions. (English) Zbl 0862.18003
Reviewer: A.Kock (Aarhus)
Handbook of categorical algebra. 2: Categories and structures. (English) Zbl 0843.18001
Encyclopedia of Mathematics and Its Applications. 51. Cambridge: Univ. Press. xvii, 443 p. (1994).
Reviewer: J.Duskin (Buffalo)
MSC:
18-00
Information categories. (English) Zbl 0794.18003
Reviewer: C.Calude (Auckland)
I-categories as a framework for solving domain equations. (English) Zbl 0790.18003
Reviewer: M.Eytan (Strasbourg)
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. (English) Zbl 0778.68056
Reviewer: S.Bloom (Hoboken)
I-categories and duality. (English) Zbl 0792.18006
Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 270-287 (1992).
Categories of information systems. (English) Zbl 0788.18003
Pitt, David H. (ed.) et al., Category theory and computer science. 4th biennial summer conference, Paris, France, September 3-6, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 530, 37-52 (1991).
Mathematical foundations of programming semantics. 5th international conference, New Orleans, Louisiana, USA, March 29 – April 1, 1989. Proceedings. (English) Zbl 0751.68005
Lecture Notes in Computer Science 442. Berlin etc.: Springer-Verlag. VI, 439 p. (1990).
Reviewer: E. P. de Vink
On recent trends in algebraic specification. (English) Zbl 0689.68013
Automata, languages and programming, Proc. 16th Int. Colloq., Stresa/Italy 1989, Lect. Notes Comput. Sci. 372, 263-288 (1989).
Reviewer: G.Grigas
Initial behaviour semantics for algebraic specifications. (English) Zbl 0679.68026
Recent trends in data type specification. Specification of abstract data types, Sel. Pap. 5th Workshop, Gullane/UK 1987, Lect. Notes Comput. Sci. 332, 184-207 (1988).
Reviewer: G.Grigas
Modular algebraic specification of some basic geometrical constructions. (English) Zbl 0664.68021
Reviewer: G.Grigas
Contributions to the semantics of logic perpetual processes. (English) Zbl 0661.68012
Reviewer: S.Bloom
MSC:
68Q60
68T15
The stratified loose approach: A generalization of initial and loose semantics. (English) Zbl 0659.68019
Recent trends in data type specification. Specification of abstract data types, Sel. Pap. 5th Workshop, Gullane/UK 1987, Lect. Notes Comput. Sci. 332, 1-22 (1988).
Initial algebra semantics and concurrency. (English) Zbl 0644.68035
Mathematical foundations of programming language semantics, Proc. Workshop, New Orleans/La. 1987, Lect. Notes Comput. Sci. 298, 528-549 (1988).
Good functors …are those preserving philosophyö. (English) Zbl 0639.68022
Category theory and computer science, Proc. Conf., Edinburgh/U.K. 1987, Lect. Notes Comput. Sci. 283, 182-195 (1987).
Algebraic specifications of computable and semicomputable data types. (English) Zbl 0637.68013
Reviewer: G.Grigas
Finite algebraic specifications of semicomputable data types. (English) Zbl 0618.68016
TAPSOFT ’87, Proc. Int. Conf. Software development, Pisa/Italy 1987, Vol. 1: Trees in algebra and programming, Lect. Notes Comput. Sci. 249, 111-122 (1987).
Terminal algebra semantic as a basis for program synthesis. (English) Zbl 0655.68017
Algebra, combinatorics and logic in computer science, Colloq. Györ/Hung. 1983, Vol. 2, Colloq. Math. Soc. János Bolyai 42, 479-490 (1986).
Completeness in data type specifications. (English) Zbl 0572.68015
Computer algebra, EUROCAL ’85, Proc. Eur. Conf., Linz/Austria 1985, Vol. 2, Lect. Notes Comput. Sci. 204, 348-362 (1985).
MSC:
68P05
Initiality, induction, and computability. (English) Zbl 0571.68004
Algebraic methods in semantics, Semin. Fontainebleau/France 1982, 459-541 (1985).
Stepwise construction of non-sequential software systems using a net- based specification language. (English) Zbl 0561.68018
Advances in Petri nets 1984, Lect. Notes Comput. Sci. 188, 307-330 (1985).
Fundamentals of algebraic specification 1. Equations and initial semantics. (English) Zbl 0557.68013
Reviewer: H.-D.Ehrich
Algebraic, operational and denotational semantics of the lambda calculus. (English) Zbl 0569.68023
Reviewer: T.Jucan
Partially ordered sorts in algebraic specifications. (English) Zbl 0544.68015
Trees in algebra and programming, 9th Colloq., Bordeaux/France 1984, 139-153 (1984).
MSC:
68P05
ACT ONE: an algebraic specification language with two levels of semantics. (English) Zbl 0549.68010
State-of-the-art and perspectives of software technology in Europe, USA and Japan, Semin. 1 St. 5, Berlin 1983, 55 p. (1983).
MSC:
68P05
The recursive power of algebraic semantics. (English) Zbl 0521.68023
Prepr., Neue Folge, Humboldt-Univ. Berl., Sekt. Math. 57, 33 p. (1983).
Initial and final algebra semantics for data type specifications: Two characterization theorems. (English) Zbl 0515.68016
MSC:
68P05
Algebraische Spezifikation. Eine Einführung. (German) Zbl 0506.68009
Berlin-Heidelberg-New York: Springer-Verlag. VII, 236 S. DM 49.00; $ 21.20 (1983).
Algebraic specifications for parametrized data types with minimal parameter and target algebras. (English) Zbl 0489.68016
Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 23-34 (1982).
MSC:
68P05
Continuous data types. (English) Zbl 0479.68016
MSC:
68P05
Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities. (English) Zbl 0472.68010
Trees in algebra and programming, CAAP’81, Proc. 6th Colloq., Genoa/Italy 1981, Lect. Notes Comput. Sci. 112, 224-237 (1981).
A characterisation of computable data types by means of a finite equational specification method. (English) Zbl 0449.68003
Automata, languages and programming, 7th Colloq., Noordwijkerhout/ Netherlands 1980, Lect. Notes Comput. Sci. 85, 76-90 (1980).
The completeness of the algebraic specification methods for data types. (English) Zbl 0447.68023
Math. Cent., Amst., Afd. Inf. IW 156/80, 18 p. (1980).
Algebraically specified programming systems and Hoare’s logic. (English) Zbl 0441.68025
Math. Cent., Amst., Afd. Inf. IW 143/80, 25 p. (1980).
Initial and final algebra semantics for data type specifications: Two characterisation theorems. (Preprint). (English) Zbl 0431.68021
Math. Cent., Amst., Afd. Inf. 142, 36 p. (1980).
A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification. (English) Zbl 0421.68021
Math. Cent., Amst., Afd. Inf. 133, 11 p. (1980).
Correct evaluation of graphlike expressions. (English) Zbl 0464.68082
Ber., Abt. Inf., Univ. Dortm. 74, 78-84 (1978).
Filter Results by …
Document Type
- Journal Articles (41)
- Collection Articles (28)
- Books (10)
all
top 5
Author
- Bergstra, Jan A. (13)
- Tucker, John V. (9)
- Power, John (5)
- Smyth, Michael B. (4)
- Adámek, Jiří (3)
- Edalat, Abbas (3)
- Ehrig, Hartmut (3)
- Ghani, Neil (3)
- Goguen, Joseph Amadee (3)
- Meyer, John-Jules Charles (3)
- Milius, Stefan (3)
- Tanaka, Miki (3)
- Hinze, Ralf (2)
- Jantke, Klaus-Peter (2)
- Johann, Patricia (2)
- Marongiu, Gabriele (2)
- Meseguer Guaita, José (2)
- Moss, Lawrence S. (2)
- Nordvall Forsberg, Fredrik (2)
- Orejas, Fernando (2)
- Rodenburg, Piet H. (2)
- Tulipani, Sauro (2)
- Wagner, Eric G. (2)
- Zamfir, Maria (2)
- Aczel, Peter (1)
- Ahrens, Benedikt (1)
- Aït-Kaci, Hassan (1)
- Awodey, Steve (1)
- Baker-Finch, Clement A. (1)
- Bernot, Gilles (1)
- Bethke, Inge (1)
- Bidoit, Michel (1)
- Borceux, Francis (1)
- Bothe, Klaus (1)
- Cagne, Pierre (1)
- Crole, Roy L. (1)
- Devesas Campos, Marco (1)
- Fey, Werner (1)
- Fiore, Marcelo P. (1)
- Fu, Yuxi (1)
- Fülöp, Zoltán (1)
- Gambino, Nicola (1)
- Gogolla, Martin (1)
- Hamana, Makoto (1)
- Hansen, Horst (1)
- Hasuo, Ichiro (1)
- Hornung, Günter (1)
- Jacobs, Bart (1)
- Jibladze, Mamuka A. (1)
- Klaeren, Herbert A. (1)
- Klop, Jan Willem (1)
- Kounalis, Emmanuel (1)
- Krämer, Bernd J. (1)
- Levi, Giorgio (1)
- Levy, Michael R. (1)
- Lucatelli Nunes, Fernando (1)
- Mahr, Bernd (1)
- Maibaum, Thomas Stephen Edward (1)
- Main, Michael G. (1)
- Malatesta, Lorenzo (1)
- Matthes, Ralph (1)
- Mauw, Sjouke (1)
- McBride, Conor Thomas (1)
- Melton, Austin C. jun. (1)
- Mislove, Michael W. (1)
- Mörtberg, Anders (1)
- Nivela, Ma P. (1)
- Padawitz, Peter (1)
- Palamidessi, Catuscia (1)
- Palm, Thorsten (1)
- Raulefs, Peter (1)
- Rosolini, Giuseppe (1)
- Santocanale, Luigi (1)
- Schmidt, David A. (1)
- Schwencke, Daniel (1)
- Smolka, Gert (1)
- Sojakova, Kristina (1)
- Sokolova, Ana (1)
- Sousa, Lurdes (1)
- Spahn, Stephan (1)
- Vákár, Matthijs (1)
- Veltink, Gerrit Jan (1)
- Vogler, Heiko (1)
- Wand, Mitchell (1)
all
top 5
Serial
- Theor. Comput. Sci. (5)
- Log. Methods Comput. Sci. (3)
- Inf. Process. Lett. (2)
- SIAM J. Comput. (2)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (2)
- J. Log. Comput. (2)
- Elektron. Informationsverarbeitung Kybernetik (2)
- Appl. Categ. Struct. (2)
- High.-Order Symb. Comput. (2)
- Acta Inf. (1)
- Artif. Intell. (1)
- Aust. Comput. J. (1)
- An. Științ. Univ. Al. I. Cuza Iași, N. Ser., Secț. Ia (1)
- An. Univ. Bucur., Mat. (1)
- J. Comput. Syst. Sci. (1)
- J. Pure Appl. Algebra (1)
- J. Symb. Log. (1)
- J. Symb. Comput. (1)
- J. Comput. Sci. Technol. (1)
- J. Autom. Reasoning (1)
- Math. Struct. Comput. Sci. (1)
- Int. J. Found. Comput. Sci. (1)
- Nord. J. Comput. (1)
- J. ACM (1)
- Theor. Inform. Appl. (1)
- Fundam. Inform. (1)
- J. Log. Algebr. Program. (1)
- Encycl. Math. Appl. (1)
- Lect. Notes Comput. Sci. (1)
- Sci. Ann. Comput. Sci. (1)
- EATCS Monogr. Theoret. Comput. Sci. (1)
all
top 5
Year of Publication
- 2024 (1)
- 2023 (1)
- 2022 (2)
- 2021 (1)
- 2020 (1)
- 2019 (1)
- 2017 (2)
- 2015 (1)
- 2013 (2)
- 2011 (1)
- 2010 (2)
- 2009 (1)
- 2008 (2)
- 2007 (3)
- 2006 (3)
- 2002 (4)
- 2001 (1)
- 1997 (2)
- 1996 (1)
- 1994 (1)
- 1993 (2)
- 1992 (2)
- 1991 (1)
- 1990 (2)
- 1989 (3)
- 1988 (5)
- 1987 (3)
- 1986 (2)
- 1985 (4)
- 1984 (3)
- 1983 (4)
- 1982 (4)
- 1981 (2)
- 1980 (5)
- 1979 (2)
- 1978 (2)
