@InProceedings{Hug03,
  author    =  {Hughes, Dominic~J.D.},
  title     =  {Intensional double glueing, biextensional collapse, and the {C}hu construction},
  booktitle =  {Proceedings of MFPS'03},
  series    =  {Electronic notes in computer science},
  publisher =  {Elsevier},
  year      =  {2004}
}