Hinze, Ralf.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Introducing string diagrams = the art of category theory /
by:
Hinze, Ralf.; Marsden, Dan.
(Electronic resources)
Mathematics of program construction = 12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
Hinze, Ralf.; Voigtlander, Janis.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Computer programs- Mathematics
Logics and Meanings of Programs.
Mathematics- Graphic methods.
Programming Languages, Compilers, Interpreters.
Computer programming- Mathematics
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
Categories (Mathematics)