Hinze, Ralf.
Overview
| Works: | 7 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Introducing string diagrams = the art of category theory /
by:
Marsden, Dan.; Hinze, Ralf.
(Language materials, printed)
Implementation and application of functional languages = 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012 : revised selected papers /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Hinze, Ralf.
(Language materials, printed)
Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
by:
SpringerLink (Online service); Voigtländer, Janis.; Hinze, Ralf.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Functional programming languages
Computer science—Mathematics.
Computer logic.
Math Applications in Computer Science.
Categories (Mathematics)
Software engineering.
Mathematics
Discrete Mathematics in Computer Science.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)