A coinductive calculus of binary trees

Thumbnail Image

Files

Access status: Embargo until 2233-03-22 , Primary 84387.pdf (857.2 KB)

Date

2010

Authors

Silva, A. Alexandra
Rutten, J.J.M.M. Jan

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/84387

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By