- Tytuł:
- Some properties of coalgebras and their role in computer science
- Autorzy:
-
Steingartner, W.
Radakovic, D.
Valkosak, F.
Macko, P. - Data publikacji:
- 2016
- Słowa kluczowe:
-
coalgebra
functor
induction
internal state of program
observable behavior of program
SLGeometry software
koalgebra
funktor
indukcja
endofunktor - Pokaż więcej
- Dostawca treści:
- BazTech