Suchergebnisse - Burstall, Rod M.

  • Treffer 1 – 13 von 13
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A kernel language for modules and abstract data types
    von Burstall, Rod M., Lampson, B.

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Structured theories in LCF
    von Sannella, Donald T., Burstall, Rod M.

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Algebras, theories and freeness: an introduction for computer scientists
    von Burstall, Rod M. 1934-, Goguen, Joseph 1941-2006

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    An experimental applicative language
    von Burstall, Rod M., MacQueen, D. B., Sannella, Donald T.

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    The semantics of Clear, a specification language
    von Burstall, Rod M. 1934-, Goguen, Joseph 1941-2006

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Pop-2 papers
    von Burstall, Rod M., Collins, J. S., Burstall, Rod M., Popplestone, Robin J.

    Veröffentlicht 1968
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Hiding and behaviour: an institutional approach
    von Burstall, Rod M., Diaconescu, Răzvan

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Deliverables: a categorical approach to program development in type theory
    von Burstall, Rod M., MacKinna, James

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    A study in the foundations of programming methodology: specifications, institutions, charters and parchments
    von Goguen, Joseph 1941-2006, Burstall, Rod M. 1934-

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Institutions: abstract model theory for computer science
    von Goguen, Joseph 1941-2006, Burstall, Rod M.

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Programming in pop-2
    von Burstall, Rod M., Collins, John S., Popplestone, Robin J.

    Veröffentlicht 1971
    Buch


    Gespeichert in:

Suchwerkzeuge: