Sciweavers

63 search results - page 6 / 13

» Algebras and Coalgebras

176

ACMMPC
2000
Springer

240views Mathematics» more ACMMPC 2000»

Algebras and Coalgebras

15 years 10 months ago

Algebras and Coalgebras

Download staff.science.uva.nl

Peter Aczel

claim paper

Read More »

126

ENTCS
2010

84views more ENTCS 2010»

Higher-order Algebras and Coalgebras from Parameterized Endofunctors

15 years 6 months ago

Higher-order Algebras and Coalgebras from Parameterized Endofunctors

Download event.cwi.nl

Jiho Kim

claim paper

Read More »

98

ENTCS
2010

88views more ENTCS 2010»

On Coalgebras over Algebras

15 years 6 months ago

On Coalgebras over Algebras

Download event.cwi.nl

Adriana Balan, Alexander Kurz

claim paper

Read More »

99

ENTCS
2010

86views more ENTCS 2010»

Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map

15 years 6 months ago

Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map

Download event.cwi.nl

Michael Hauhs, Baltasar Trancón-y-Widemann

claim paper

Read More »

180

CALCO
2005
Springer

114views Mathematics» more CALCO 2005»

Towards a Coalgebraic Semantics of the Ambient Calculus

15 years 11 months ago

Towards a Coalgebraic Semantics of the Ambient Calculus

Download www.informatik.uni-bremen.de

Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...

Daniel Hausmann, Till Mossakowski, Lutz Schrö...

claim paper

Read More »

« Prev « First page 6 / 13 Last » Next »