Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Gibbons, J
Formáid:	Record
Foilsithe / Cruthaithe:	1999

Míreanna comhchosúla

Relating Algebraic and Coalgebraic Descriptions of Lenses
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2012)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Foilsithe / Cruthaithe: (2002)

Conway games, algebraically and coalgebraically
de réir: Furio Honsell, et al.
Foilsithe / Cruthaithe: (2011-09-01)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
de réir: Cirstea, C, et al.
Foilsithe / Cruthaithe: (2006)

Algebra, coalgebra, and minimization in polynomial differential equations
de réir: Michele Boreale
Foilsithe / Cruthaithe: (2019-02-01)

Coalgebraic aspects of bidirectional computation
de réir: Abou-Saleh, F, et al.
Foilsithe / Cruthaithe: (2017)

Quivers of Bound Path Algebras and Bound Path Coalgebras
de réir: Intan Muchtadi Alamsyah, et al.
Foilsithe / Cruthaithe: (2013-07-01)

LINEAR ALGEBRA : LECTURE NOTES /
de réir: Nor Haniza Sarmin, author 615523, et al.
Foilsithe / Cruthaithe: (2022)

Coalgebraic Semantics for Probabilistic Logic Programming
de réir: Tao Gu, et al.
Foilsithe / Cruthaithe: (2021-04-01)

Coalgebras for modelling observable behaviour of programs
de réir: William Steingartner, et al.
Foilsithe / Cruthaithe: (2017-06-01)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2012)

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
de réir: Nick Bezhanishvili, et al.
Foilsithe / Cruthaithe: (2011-05-01)

Bases as Coalgebras
de réir: Bart Jacobs
Foilsithe / Cruthaithe: (2013-09-01)

Rational streams coalgebraically
de réir: J. J. M. M. Rutten
Foilsithe / Cruthaithe: (2008-09-01)

On coalgebras and final semantics
de réir: Worrell, J
Foilsithe / Cruthaithe: (2000)

On the structure of categories of coalgebras
de réir: Johnstone, P, et al.
Foilsithe / Cruthaithe: (2001)

On coalgebra of real numbers
de réir: Pavlovic, D, et al.
Foilsithe / Cruthaithe: (1999)

Coalgebraic Behavioral Metrics
de réir: Paolo Baldan, et al.
Foilsithe / Cruthaithe: (2018-09-01)

Well-Pointed Coalgebras
de réir: Jiří Adámek, et al.
Foilsithe / Cruthaithe: (2013-08-01)

Duality for powerset coalgebras
de réir: Guram Bezhanishvili, et al.
Foilsithe / Cruthaithe: (2022-02-01)

Cofree compositions of coalgebras
de réir: Stefan Forcey, et al.
Foilsithe / Cruthaithe: (2011-01-01)

Fuzzy Automata as Coalgebras
de réir: Ai Liu, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Distributive categories of coalgebras
de réir: Jean-Paul Mavoungou
Foilsithe / Cruthaithe: (2023-01-01)

Coalgebras on Digital Images
de réir: Sunyoung Lee, et al.
Foilsithe / Cruthaithe: (2020-11-01)

Isomorphism Theorems for Coalgebras
de réir: Mavoungou Jean-Paul
Foilsithe / Cruthaithe: (2019-09-01)

Coalgebraic Quantum Computation
de réir: Frank Roumen
Foilsithe / Cruthaithe: (2014-07-01)

Extensional quotient coalgebras
de réir: Mavoungou Jean-Paul
Foilsithe / Cruthaithe: (2017-12-01)

Chemical process calculations : lecture notes /
de réir: 253791 Asokan, K.
Foilsithe / Cruthaithe: (2008)

On the final coalgebra of automatic sequences
de réir: Kupke, C, et al.
Foilsithe / Cruthaithe: (2011)

Star product on the Lie coalgebra and its application for calculation of quantum integrals of motion
de réir: Anton Sergeevich Popov, et al.
Foilsithe / Cruthaithe: (2013-12-01)

Calculating Functional Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (1997)

Calculating Functional Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2002)

Calculating functional programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2002)

The continuum as a final coalgebra
de réir: Pavlovic, D, et al.
Foilsithe / Cruthaithe: (2002)

Guarded induction on final coalgebras
de réir: ́Pavlovic, D
Foilsithe / Cruthaithe: (1998)

Coalgebraic Structure of Genetic Inheritance
de réir: Jianjun Tian, et al.
Foilsithe / Cruthaithe: (2004-06-01)

A simplification functor for coalgebras
de réir: Maurice Kianpi, et al.
Foilsithe / Cruthaithe: (2006-01-01)

Non-Deterministic Kleene Coalgebras
de réir: Alexandra Silva, et al.
Foilsithe / Cruthaithe: (2010-09-01)

Completeness for the coalgebraic cover modality
de réir: Clemens Kupke, et al.
Foilsithe / Cruthaithe: (2012-07-01)

Strongly Complete Logics for Coalgebras
de réir: Alexander Kurz, et al.
Foilsithe / Cruthaithe: (2012-09-01)