Showing 1 - 13 results of 13 for search 'Winskel, Glynn', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Events in computation

    Events in computation by Winskel, Glynn

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    The formal semantics of programming languages an introduction

    The formal semantics of programming languages an introduction by Winskel, Glynn

    Published 2001
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Domain theoretic models of polymorphism

    Domain theoretic models of polymorphism by Coquand, Thierry 1961-, Gunter, Carl, Winskel, Glynn

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Category theory and models for parallel computation

    Category theory and models for parallel computation by Winskel, Glynn

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    On the composition and decompositionof assertions

    On the composition and decompositionof assertions by Winskel, Glynn

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Petri nets, event structures and domains

    Petri nets, event structures and domains by Nielsen, Mogens, Plotkin, Gordon, Winskel, Glynn

    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    The formal semantics of programming languages an introduction

    The formal semantics of programming languages an introduction by Winskel, Glynn

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    The formal semantics of programming languages an introduction

    The formal semantics of programming languages an introduction by Winskel, Glynn

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    DI-domains as a model of polymorphism

    DI-domains as a model of polymorphism by Coquand, Thierry 1961-, Gunter, Carl, Winskel, Glynn

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    A complete proof system for SCCS with modal assertions

    A complete proof system for SCCS with modal assertions by Winskel, Glynn

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Petri nets, algebras and morphisms

    Petri nets, algebras and morphisms by Winskel, Glynn

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Synchronisation trees

    Synchronisation trees by Winskel, Glynn

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Petri nets, event structures and domains

    Petri nets, event structures and domains by Nielsen, Mogens, Plotkin, Gordon, Winskel, Glynn

    Published 1979
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: