Bicontexts and structural induction

@inproceedings{Livesey1987BicontextsAS,
  title={Bicontexts and structural induction},
  author={Mike Livesey},
  year={1987}
}