Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Bibliographic Details
Main Author:	Gibbons, J
Format:	Record
Published:	1999

Similar Items

Relating Algebraic and Coalgebraic Descriptions of Lenses
by: Gibbons, J, et al.
Published: (2012)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Published: (2002)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
by: Cirstea, C, et al.
Published: (2006)

Coalgebraic aspects of bidirectional computation
by: Abou-Saleh, F, et al.
Published: (2017)

LINEAR ALGEBRA : LECTURE NOTES /
by: Nor Haniza Sarmin, author 615523, et al.
Published: (2022)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
by: Gibbons, J
Published: (2012)

On coalgebras and final semantics
by: Worrell, J
Published: (2000)

On the structure of categories of coalgebras
by: Johnstone, P, et al.
Published: (2001)

On coalgebra of real numbers
by: Pavlovic, D, et al.
Published: (1999)

Extensional quotient coalgebras
by: Mavoungou Jean-Paul
Published: (2017-12-01)

Chemical process calculations : lecture notes /
by: 253791 Asokan, K.
Published: (2008)

On the final coalgebra of automatic sequences
by: Kupke, C, et al.
Published: (2011)

Calculating Functional Programs
by: Gibbons, J
Published: (1997)

Calculating Functional Programs
by: Gibbons, J
Published: (2002)

Calculating functional programs
by: Gibbons, J
Published: (2002)

The continuum as a final coalgebra
by: Pavlovic, D, et al.
Published: (2002)

Guarded induction on final coalgebras
by: ́Pavlovic, D
Published: (1998)

Coalgebraic Structure of Genetic Inheritance
by: Jianjun Tian, et al.
Published: (2004-06-01)

A simplification functor for coalgebras
by: Maurice Kianpi, et al.
Published: (2006-01-01)

Categories of processes enriched in final coalgebras
by: Krsti/'c, S, et al.
Published: (2001)

EXPTIME Tableaux for the Coalgebraic mu−Calculus
by: Cirstea, C, et al.
Published: (2011)

Optimal tableau algorithms for coalgebraic logics
by: Goré, R, et al.
Published: (2010)

Exptime tableaux for the coalgebraic μ-calculus
by: Cîrstea, C, et al.
Published: (2011)

Coalgebraic semantics of modal logics: An overview
by: Kupke, C, et al.
Published: (2011)

Coalgebraic semantics of modal logics: An overview
by: Kupke, C, et al.
Published: (2011)

Algebraic cycles, sheaves, shtukas, and moduli : impanga lecture notes /
by: Pragacz, Piotr
Published: (2008)

Notes on algebraic functions
by: Guan Ke-Ying, et al.
Published: (2003-01-01)

Coalgebraic components in a many−sorted microcosm
by: Hasuo, I, et al.
Published: (2009)

Coalgebras‚ chu spaces‚ and representations of physical systems
by: Abramsky, S
Published: (2010)

Coalgebras‚ Chu Spaces‚ and Representations of Physical Systems
by: Abramsky, S
Published: (2009)

Modular games for coalgebraic fixed point logics
by: Cîrstea, C, et al.
Published: (2008)

Coalgebras, Chu Spaces, and Representations of Physical Systems
by: Abramsky, S
Published: (2009)

Coalgebraic Epistemic Update without Change of Model
by: Cirstea, C, et al.
Published: (2007)

Coalgebraic Weak Bisimulation for Action-Type Systems
by: A. Sokolova, et al.
Published: (2009-12-01)

Linear-time logics -- a coalgebraic perspective
by: Corina Cirstea
Published: (2024-06-01)

Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi
by: Daniel Hausmann, et al.
Published: (2024-07-01)

Lecture notes on algebraic structure of lattice-ordered rings / Jingjing Ma
by: Ma, Jingjing
Published: (2014)

Algebraic Identities for Program Calculation
by: Bird, R
Published: (1989)

Lecture notes.
by: Bourke, S. J., et al.
Published: (2011)

Lectures on algebra /
by: 444788 Abhyankar, Shreeram Shankar
Published: (2006)