Relations in Dependent Type Theory (2006)

by Carlos Gonzalia