The Equivalence of Two Semantic Definitions: A Case Study in LCF
- 1 May 1983
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 12 (2) , 267-285
- https://doi.org/10.1137/0212016
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Edinburgh LCFLecture Notes in Computer Science, 1979