Login / Signup

Towards a Formalisation of Relational Database Theory in Constructive Type Theory.

Carlos Gonzalía
Published in: RelMiCS (2003)
Keyphrases