Hinze, Ralf.
概要
| 作品: | 7 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Introducing string diagrams = the art of category theory /
by:
Marsden, Dan.; Hinze, Ralf.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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)