Persistent URL of this record https://hdl.handle.net/1887/35814
Documents
-
- Download
- Title page_Contents
- open access
-
- Download
- Chapter 1 Introduction
- open access
-
- Download
- Bibliography_Index
- open access
-
- Download
- Propositions
- open access
In Collections
This item can be found in the following collections:
Enhanced Coinduction
- All authors
- Rot, J.C.
- Supervisor
- Rutten, J.J.M.M.; Boer, F.S. de
- Co-supervisor
- Bonsangue, M.M.
- Committee
- Hansen, H.H.; Jacobs, B.P.F.; Klin, B.; Montanari, U.; Arbab, F.; Kok, J.N.
- Qualification
- Doctor (dr.)
- Awarding Institution
- Faculty of Science , Leiden University
- Date
- 2015-10-15
- Title of host publication
- IPA Dissertation Series
- ISBN (print)
- 9789462991743
Publication Series
- Name
- 2015-18