Carlos Gonzalia

	2007
3		Carlos Gonzalia, Annabelle McIver: Automating Refinement Checking in Probabilistic System Design. ICFEM 2007: 212-231
	2003
2		Carlos Gonzalia: Towards a Formalisation of Relational Database Theory in Constructive Type Theory. RelMiCS 2003: 137-148
	2000
1		Carlos Gonzalia: The Allegory of E-Relations in Constructive Type Theory. RelMiCS 2000: 85-94

Coauthor Index

1

Annabelle McIver (A. K. McIver)

[3]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page