Book icon

Book

Reasoning about Codata

Actions


Access Document


Authors


Ralf Hinze More by this author

Contributors

Role:
Editor
Pages:
42-93
Publication date:
2010
DOI:
URN:
uuid:8c2823b6-7ece-4d10-bd72-08593357c46f
Local pid:
cs:3973

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP