Co-induction in relational semantics

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  • Robin Milner
  • Mads Tofte
OriginalsprogEngelsk
TidsskriftTheoretical Computer Science
Udgave nummerVol 87
Sider (fra-til)209-220
ISSN0304-3975
StatusUdgivet - 1991

ID: 301760