The Category-theoretic Solution of Recursive Ultra-metric Space Equations

Amin Timany and Bart Jacobs: The Category-theoretic Solution of Recursive Ultra-metric Space Equations. In CoqPL'17, January 2016.
.pdf Coq Development [slides] .pdf
Unpublished Workshop Paper
The bibtex source for this publication:
@inproceedings{CoqPL16,
  author = {Timany, Amin and Jacobs, Bart},
  title = {The Category-theoretic Solution of Recursive Ultra-metric Space Equations},
  booktitle = {CoqPl},
  year = {2016},
  month = {January},
  url = {http://conf.researchr.org/home/CoqPL-2016}
}