Using information systems to solve recursive domain equations effectively

Ediciones (1)

• Using information systems to solve recursive domain equations effectively (1984)

  University of Cambridge, Computer Laboratory · inglés

Más obras de Glynn Winskel

CCategories of models for concurrency

Categories of models for concurrency

The formal semantics of programming languages

OOn the composition and decomposition of assertions

On the composition and decomposition of assertions