Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

書誌詳細
第一著者:	Gibbons, J
フォーマット:	Record
出版事項:	1999

類似資料

Relating Algebraic and Coalgebraic Descriptions of Lenses
著者:: Gibbons, J, 等
出版事項: (2012)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
出版事項: (2002)

Conway games, algebraically and coalgebraically
著者:: Furio Honsell, 等
出版事項: (2011-09-01)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
著者:: Cirstea, C, 等
出版事項: (2006)

Algebra, coalgebra, and minimization in polynomial differential equations
著者:: Michele Boreale
出版事項: (2019-02-01)

Coalgebraic aspects of bidirectional computation
著者:: Abou-Saleh, F, 等
出版事項: (2017)

Quivers of Bound Path Algebras and Bound Path Coalgebras
著者:: Intan Muchtadi Alamsyah, 等
出版事項: (2013-07-01)

LINEAR ALGEBRA : LECTURE NOTES /
著者:: Nor Haniza Sarmin, author 615523, 等
出版事項: (2022)

Coalgebraic Semantics for Probabilistic Logic Programming
著者:: Tao Gu, 等
出版事項: (2021-04-01)

Coalgebras for modelling observable behaviour of programs
著者:: William Steingartner, 等
出版事項: (2017-06-01)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
著者:: Gibbons, J
出版事項: (2012)

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
著者:: Nick Bezhanishvili, 等
出版事項: (2011-05-01)

Bases as Coalgebras
著者:: Bart Jacobs
出版事項: (2013-09-01)

Rational streams coalgebraically
著者:: J. J. M. M. Rutten
出版事項: (2008-09-01)

On coalgebras and final semantics
著者:: Worrell, J
出版事項: (2000)

On the structure of categories of coalgebras
著者:: Johnstone, P, 等
出版事項: (2001)

On coalgebra of real numbers
著者:: Pavlovic, D, 等
出版事項: (1999)

Coalgebraic Behavioral Metrics
著者:: Paolo Baldan, 等
出版事項: (2018-09-01)

Well-Pointed Coalgebras
著者:: Jiří Adámek, 等
出版事項: (2013-08-01)

Duality for powerset coalgebras
著者:: Guram Bezhanishvili, 等
出版事項: (2022-02-01)

Cofree compositions of coalgebras
著者:: Stefan Forcey, 等
出版事項: (2011-01-01)

Fuzzy Automata as Coalgebras
著者:: Ai Liu, 等
出版事項: (2021-01-01)

Distributive categories of coalgebras
著者:: Jean-Paul Mavoungou
出版事項: (2023-01-01)

Coalgebras on Digital Images
著者:: Sunyoung Lee, 等
出版事項: (2020-11-01)

Isomorphism Theorems for Coalgebras
著者:: Mavoungou Jean-Paul
出版事項: (2019-09-01)

Coalgebraic Quantum Computation
著者:: Frank Roumen
出版事項: (2014-07-01)

Extensional quotient coalgebras
著者:: Mavoungou Jean-Paul
出版事項: (2017-12-01)

Chemical process calculations : lecture notes /
著者:: 253791 Asokan, K.
出版事項: (2008)

On the final coalgebra of automatic sequences
著者:: Kupke, C, 等
出版事項: (2011)

Star product on the Lie coalgebra and its application for calculation of quantum integrals of motion
著者:: Anton Sergeevich Popov, 等
出版事項: (2013-12-01)

Calculating Functional Programs
著者:: Gibbons, J
出版事項: (1997)

Calculating Functional Programs
著者:: Gibbons, J
出版事項: (2002)

Calculating functional programs
著者:: Gibbons, J
出版事項: (2002)

The continuum as a final coalgebra
著者:: Pavlovic, D, 等
出版事項: (2002)

Guarded induction on final coalgebras
著者:: ́Pavlovic, D
出版事項: (1998)

Coalgebraic Structure of Genetic Inheritance
著者:: Jianjun Tian, 等
出版事項: (2004-06-01)

A simplification functor for coalgebras
著者:: Maurice Kianpi, 等
出版事項: (2006-01-01)

Non-Deterministic Kleene Coalgebras
著者:: Alexandra Silva, 等
出版事項: (2010-09-01)

Completeness for the coalgebraic cover modality
著者:: Clemens Kupke, 等
出版事項: (2012-07-01)

Strongly Complete Logics for Coalgebras
著者:: Alexander Kurz, 等
出版事項: (2012-09-01)