HOLCF: eine konservative Erweiterung von HOL um LCF

@inproceedings{Regensburger1994HOLCFEK,
  title={HOLCF: eine konservative Erweiterung von HOL um LCF},
  author={Franz Regensburger},
  year={1994}
}
Highly Cited
This paper has 42 citations. REVIEW CITATIONS