Join inverse categories as models of reversible recursion

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  • Holger Bock Axelsen
  • Robin Kaarsgaard
OriginalsprogEngelsk
TitelFoundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings
RedaktørerBart Jacobs, Christof Löding
Antal sider18
ForlagSpringer
Publikationsdato2016
Sider73-90
ISBN (Trykt)978-3-662-49629-9
ISBN (Elektronisk) 978-3-662-49630-5
DOI
StatusUdgivet - 2016
BegivenhedFoundations of Software Science and Computation Structures - Eindhoven, Holland
Varighed: 2 apr. 2016 → 8 apr. 2016
Konferencens nummer: 19

Konference

KonferenceFoundations of Software Science and Computation Structures
Nummer19
LandHolland
ByEindhoven
Periode02/04/2016 → 08/04/2016
NavnLecture notes in computer science
Vol/bind9634
ISSN0302-9743

ID: 160052357