It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by Alan Millar
December 15, 2010 | History
Edit

Glynn Winskel

We need a photo of Glynn Winskel

13 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 (Lecture Notes in Computer Science)

    First published in 1985 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: La semantica formale dei linguaggi di programmazione: un'introduzione

    First published in 1999 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Categories of models for concurrency.

    First published in 1984 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The formal semantics of programming languages: an introduction

    First published in 1993 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: On the composition and decomposition of assertions.

    First published in 1984 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Using information systems to solve recursive domain equations effectively

    First published in 1984 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A complete proof system for SCCS with modal assertions.

    First published in 1985 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Petri nets, algebras and morphisms.

    First published in 1985 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Category theory and models for parallel computation.

    First published in 1986 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Event structures.

    First published in 1986 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A compositional model of MOS circuits.

    First published in 1987 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Relating two models of hardware.

    First published in 1987 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science)

    First published in 1998 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Glynn Winskel

Subjects
Computer science, Abstracte automaten, Automates mathématiques, Théorie des, Computer programming, Congresses, Congrès, Elaboratori elettronici, Formal languages, Kongress, Langages formels, Linguaggi, Logic, symbolic and mathematical, Machine theory, Mathematics, Programmation (Informatique), Programmeertalen, Programming languages (Electronic computers), Semantica, Semantics, Theoretische Informatik

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL4451556A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
December 15, 2010 Edited by Alan Millar merge authors
September 2, 2008 Created by ImportBot Imported from Talis record