Semantics for Classical AUTOMATH and Related Systems

@article{Barendregt1983SemanticsFC,
  title={Semantics for Classical AUTOMATH and Related Systems},
  author={Hendrik Pieter Barendregt and Adrian Rezus},
  journal={Information and Control},
  year={1983},
  volume={59},
  pages={127-147}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…