Table of Contents
- Preface
- Reasoning about complete ordered families of equivalences in Coq [under development]
- Modelling recursive types in ultrametric spaces
- Modelling references in ultrametric spaces
Sources (Coq development and the html files) [.tgz]
Authors and Contributors
- Filip Sieczkowski
- Aleš Bizjak
- Yannick Zakowski
- Lars Birkedal