Semantics of a Metalogic Programming Language

@article{Costantini1990SemanticsOA,
  title={Semantics of a Metalogic Programming Language},
  author={Stefania Costantini},
  journal={Int. J. Found. Comput. Sci.},
  year={1990},
  volume={1},
  pages={233-248}
}