Carlos Gonzalía

• Relations in dependent type theory