( en | de | ru )

 

Disambiguierung von "Burstall, Rod M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computational Category Theory

, und . Prentice-Hsll International Series in Computer Science Prentice-Hall, First Edition Edition, (01.06.1989)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Wolfgang Röd

Rod Snowdon

Nils Röd

Aleksandr Rod enko

Simon M M Laimer

 

Weitere Publikationen von Autoren mit dem selben Namen

Programming with Modules as Typed Functional Programming.. FGCS, Seite 103-112. OHMSHA Ltd. Tokyo and North-Holland, (1984)Putting Theories Together to Make Specifications., und . IJCAI, Seite 1045-1058. William Kaufmann, (1977)A Kernel Language for Abstract Data Types and Modules., und . Semantics of Data Types, Volume 173 von Lecture Notes in Computer Science, Seite 1-50. Springer, (1984)Making Programs more Readable., und . Symposium on Programming, Volume 83 von Lecture Notes in Computer Science, Seite 327-341. Springer, (1980)Inductively Defined Relations: A Brief Tutorial (Extended Abstract).. COMPASS/ADT, Volume 1130 von Lecture Notes in Computer Science, Seite 14-16. Springer, (1995)Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories., und . Theor. Comput. Sci., (1984)Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories., , und . Theor. Comput. Sci., 91 (2): 239-264 (1991)Deliverables: A Categorial Approach to Program Development in Type Theory., und . MFCS, Volume 711 von Lecture Notes in Computer Science, Seite 32-67. Springer, (1993)Inductively Defined Functions (Extended Abstract).. TAPSOFT, Vol.1, Volume 185 von Lecture Notes in Computer Science, Seite 92-96. Springer, (1985)My Friend Joseph Goguen.. Essays Dedicated to Joseph A. Goguen, Volume 4060 von Lecture Notes in Computer Science, Seite 25-30. Springer, (2006)