Dependently-Typed Formalisation of Relation-Algebraic Abstractions

@inproceedings{Kahl2011DependentlyTypedFO,
  title={Dependently-Typed Formalisation of Relation-Algebraic Abstractions},
  author={Wolfram Kahl},
  booktitle={RAMICS},
  year={2011}
}