Search results for "initiality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Jan J. M. M. Rutten, Daniele Turi	Initial Algebra and Final Coalgebra Semantics for Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality
39	Hartmut Ehrig, Eric G. Wagner, James W. Thatcher	Algebraic Specifications with Generating Constraints.	ICALP	1983	DBLP DOI BibTeX RDF
34	Guilherme Grochau Azzi, Andrea Corradini 0001, Leila Ribeiro 0001	On the essence and initiality of conflicts in M-adhesive transformation systems.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
34	Guilherme Grochau Azzi, Andrea Corradini 0001, Leila Ribeiro 0001	On the Essence and Initiality of Conflicts.	ICGT	2018	DBLP DOI BibTeX RDF
34	Jurriaan Rot	Coalgebraic Minimization of Automata by Initiality and Finality.	MFPS	2016	DBLP DOI BibTeX RDF
34	Benedikt Ahrens	Initiality for Typed Syntax and Semantics.	J. Formaliz. Reason.	2015	DBLP DOI BibTeX RDF
34	Benedikt Ahrens	Initiality for Typed Syntax and Semantics	CoRR	2012	DBLP BibTeX RDF
34	Benedikt Ahrens	Initiality for Typed Syntax and Semantics	CoRR	2012	DBLP BibTeX RDF
34	Benedikt Ahrens	Extended Initiality for Typed Abstract Syntax	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
34	Benedikt Ahrens	Initiality for Typed Syntax and Semantics.	WoLLIC	2012	DBLP DOI BibTeX RDF
34	John V. Tucker, Jeffery I. Zucker	Abstract Computability, Algebraic Specification and Initiality	CoRR	2001	DBLP BibTeX RDF
34	Stephen L. Bloom, Zoltán Ésik	Some Equational Laws of Initiality in 2CCC's.	Int. J. Found. Comput. Sci.	1995	DBLP DOI BibTeX RDF
33	Stephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes	Iteration 2-theories.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	iteration theories, fixed point operation, rewriting, initiality, equational logic, algebraic theories, 2-categories
19	Stephen L. Bloom, Zoltán Ésik	Regular and Algebraic Words and Ordinals.	CALCO	2007	DBLP DOI BibTeX RDF
19	John Power, Miki Tanaka	Binding Signatures for Generic Contexts.	TLCA	2005	DBLP DOI BibTeX RDF
19	Thierry Coquand, Erik Palmgren	Metric Boolean algebras and constructive measure theory.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
19	Matthias Schlesewsky	Konfliktresolution beim Sprachverstehen.	Kognitionswissenschaft	2002	DBLP DOI BibTeX RDF
19	Maria Manuel Clementino, Eraldo Giuli, Walter Tholen	What is a Quotient Map with Respect to a Closure Operator?	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	c-initial morphism, c-final morphism, c-quotient, Whitehead's Theorem, closure operator
19	Andrew M. Pitts	A Fresh Approach to Representing Syntax with Static Binders in Functional Programming.	ICFP	2001	DBLP DOI BibTeX RDF
19	Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas	Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types.	ALP	1996	DBLP DOI BibTeX RDF
19	Zoltán Ésik, Anna Labella	Equational Properties of Iteration in Algebraically Complete Categories.	MFCS	1996	DBLP DOI BibTeX RDF
19	Lutz H. Hamel, Joseph A. Goguen	Towards a Provably Correct Compiler for OBJ3.	PLILP	1994	DBLP DOI BibTeX RDF	compilers, algebraic specification, abstract machines, rewrite rules
19	Claudio Hermida, Bart Jacobs 0001	An Algebraic View of Structural Induction.	CSL	1994	DBLP DOI BibTeX RDF
19	Elsa L. Gunter	A Broader Class of Trees for Recursive Type Definitions for HOL.	HUG	1993	DBLP DOI BibTeX RDF
19	Uwe Wolter, Michael Löwe	Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications.	CAAP	1992	DBLP DOI BibTeX RDF
19	Felice Cardone	An Algebraic Approach to the Interpretation of Recursive Types.	CAAP	1992	DBLP DOI BibTeX RDF
19	Egidio Astesiano, Maura Cerioli	Non-Strict Don't Care Algebras and Specifications.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
19	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo	Denotational Versus Declarative Semantics for Functional Programming.	CSL	1991	DBLP DOI BibTeX RDF
19	Joseph A. Goguen	Proving and Rewriting.	ALP	1990	DBLP DOI BibTeX RDF
19	José Meseguer 0001	Relating Models of Polymorphism.	POPL	1989	DBLP DOI BibTeX RDF
19	Heinrich Hußmann	Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting.	ALP	1988	DBLP DOI BibTeX RDF
19	Damian Niwinski	On Fixed-Point Clones (Extended Abstract).	ICALP	1986	DBLP DOI BibTeX RDF
19	Peter Dybjer	Domain Algebras.	ICALP	1984	DBLP DOI BibTeX RDF