The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability)

@inproceedings{Naumov2001TheHP,
  title={The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability)},
  author={Pavel Naumov and Mark-Oliver Stehr and Jos{\'e} Meseguer},
  booktitle={TPHOLs},
  year={2001}
}
Highly Cited
This paper has 49 citations. REVIEW CITATIONS