Applications of Category Theory to the Area of Algebraic Specification in Computer Science.
Hartmut EhrigMartin Große-RhodeUwe WolterPublished in: Appl. Categorical Struct. (1998)
Keyphrases
- computer science
- computer algebra
- lecture notes
- mathematical theory
- high level
- theoretical framework
- computer scientists
- theoretical basis
- algebraic geometry
- researchers and practitioners
- algebraic structure
- electrical engineering
- formal methods
- applied mathematics
- linear algebra
- specification language
- computer architecture
- information science
- database
- probability theory
- set theoretic
- social sciences
- provably correct
- information theory
- machine learning
- data mining