Carlos Gonzalía: Towards a Formalisation of Relational Database Theory in Constructive Type Theory. RelMiCS 2003: 137-148