Project Details
Description
Foundational research, papers and theoretical results are expected.
Study of compositional principles in coalgebra, process theory and computer science in general.
| Acronym | LEGO-CPT |
|---|---|
| Status | Finished |
| Effective start/end date | 1/03/09 → 28/02/13 |
Fields of Science and Technology Classification 2002
- 1106 Formal languages
- 11 Mathematics, Computer Sciences
- 1118 Probability theory
- 1108 Informatics
- 1111 Logic