Treffer 1 - 3 von 3 für Suche 'Rydeheard, David E.', Suchdauer: 0,60s Treffer weiter einschränken
  1. 1
    Computational category theory

    Computational category theory von Rydeheard, David E., Burstall, Rod M.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The unification of terms a category-theoretic algorithm

    The unification of terms a category-theoretic algorithm von Rydeheard, David E., Burstall, Rod M.

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Applications of category theory to programming and program specification

    Applications of category theory to programming and program specification von Rydeheard, David E.

    Veröffentlicht 1982
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: