Some Wellfounded Trees in UniMath - Extended Abstract

By Benedikt Ahrens, Anders Mörtberg. 2016

3 citations recorded by the source corpus.