Book icon

Book

Reasoning about Codata

Actions


Access Document


Authors


Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Pages:
42-93
Host title:
Third Central European Functional Programming School (CEFP 2009)
Publication date:
2010-01-01
DOI:
UUID:
uuid:8c2823b6-7ece-4d10-bd72-08593357c46f
Local pid:
cs:3973
Deposit date:
2015-03-31

Terms of use


Views and Downloads






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

TO TOP