Title: Relations in dependent type theory
First published: 2006
LC classification: MLCM 2008/43309 (Q)