Implementing FS::0:: in Isabelle: Adding Structure at the Metalevel

Seán Matthews. Implementing FS::0:: in Isabelle: Adding Structure at the Metalevel. In Jacques Calmet, Carla Limongelli, editors, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20, 1996, Proceedings. Volume 1128 of Lecture Notes in Computer Science, pages 228-239, Springer, 1996.

@inproceedings{Matthews96,
  title = {Implementing FS::0:: in Isabelle: Adding Structure at the Metalevel},
  author = {Seán Matthews},
  year = {1996},
  researchr = {https://researchr.org/publication/Matthews96},
  cites = {0},
  citedby = {0},
  pages = {228-239},
  booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO  96, Karlsruhe, Germany, September 18-20, 1996, Proceedings},
  editor = {Jacques Calmet and Carla Limongelli},
  volume = {1128},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61697-7},
}