In mathematics, an initial algebra is an initial object in the category of -algebras for a given endofunctor . The initiality provides a generalâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- Kristina Sojakova
- POPL
- 2015

Homotopy Type Theory is a new field of mathematics based on the recently-discovered correspondence between Martin-LÃ¶f'sâ€¦Â (More)

Is this relevant?

2015

2015

- JosÃ© Meseguer
- Sci. Comput. Program.
- 2015

Although different satisfiability decision procedures can be combined by algorithms such as those of Nelson-Oppen or Shostakâ€¦Â (More)

Is this relevant?

2007

2007

- Patricia Johann, Neil Ghani
- TLCA
- 2007

Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data typeâ€¦Â (More)

Is this relevant?

2003

2003

- Peter Dybjer, Anton Setzer
- Ann. Pure Appl. Logic
- 2003

Induction-recursion is a powerful definition method in intuitionistic type theory. It extends (generalized) inductive definitionsâ€¦Â (More)

Is this relevant?

2003

2003

- Makoto Hamana
- PPDP
- 2003

We present an extension of first-order term rewriting systems, which involves variable binding in the term language. We developâ€¦Â (More)

Is this relevant?

Review

1997

Review

1997

- Bart Jacobs, Jan Rutten
- 1997

Algebraic structures which are generated by a collection of constructors| like natural numbers (generated by a zero and aâ€¦Â (More)

Is this relevant?

1995

1995

- Jeremy Gibbons
- MPC
- 1995

The initial-algebra approach to modelling datatypes consists of giving constructors for building larger objects of that type fromâ€¦Â (More)

Is this relevant?

1994

1994

- Jan A. Bergstra, Jan Heering
- Theor. Comput. Sci.
- 1994

Bergstra, J.A. and J. Heering, Which data types have o-complete initial algebra specificationsâ€™?, Theoretical Computer Scienceâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- Jan J. M. M. Rutten, Daniele Turi
- REX School/Symposium
- 1993

The aim of this paper is to relate initial algebra semantics and nal coalgebra semantics It is shown how these two approaches toâ€¦Â (More)

Is this relevant?

Review

1977

Review

1977

- Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
- J. ACM
- 1977

Many apparently divergent approaches to specifying formal semantics of programming languages are applications of initial algebraâ€¦Â (More)

Is this relevant?