A sound and relatively complete Hoare-logic for a language with higher type procedures
- 1 October 1983
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 20 (1)
- https://doi.org/10.1007/bf00264295
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: