A Complete, Co-inductive Syntactic Theory of Sequential Control and State

Kristian Støvring; Soren B. Lassen

doi:10.1007/978-3-642-04164-8_17

A Complete, Co-inductive Syntactic Theory of Sequential Control and State

Kristian Støvring, Soren B. Lassen

Alphabet Inc.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Redaktører	Jens Palsberg
Forlag	Springer
Publikationsdato	2009
Sider	329-375
DOI	https://doi.org/10.1007/978-3-642-04164-8_17
Status	Udgivet - 2009

Navn	Lecture Notes in Computer Science
Nummer	5700

Adgang til dokumentet

10.1007/978-3-642-04164-8_17

Citationsformater

@inbook{d6d55740e50011dea523000ea68e967b,

title = "A Complete, Co-inductive Syntactic Theory of Sequential Control and State",

author = "Kristian St{\o}vring and Lassen, \{Soren B.\}",

year = "2009",

doi = "10.1007/978-3-642-04164-8\_17",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "5700",

pages = "329--375",

editor = "Jens Palsberg",

booktitle = "Semantics and Algebraic Specification",

address = "Germany",

}

A Complete, Co-inductive Syntactic Theory of Sequential Control and State. / Støvring, Kristian; Lassen, Soren B.
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. red. / Jens Palsberg. Springer, 2009. s. 329-375 (Lecture Notes in Computer Science; Nr. 5700).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning

TY - CHAP

T1 - A Complete, Co-inductive Syntactic Theory of Sequential Control and State

AU - Støvring, Kristian

AU - Lassen, Soren B.

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-04164-8_17

DO - 10.1007/978-3-642-04164-8_17

M3 - Book chapter

T3 - Lecture Notes in Computer Science

SP - 329

EP - 375

BT - Semantics and Algebraic Specification

A2 - Palsberg, Jens

PB - Springer

ER -