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

In CoqPL'16 Unpublished Workshop Presentation

Amin Timany and Bart Jacobs. The Category-theoretic Solution of Recursive Ultra-metric Space Equations. In CoqPL'16, January 2016.

Links: .pdf Rocq Development [slides] .pdf
Keywords: Domain Equations, Fixed Points, Category Theory, Coq

bibtex
@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 = {https://conf.researchr.org/home/CoqPL-2016}
}