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