Preprint
A proof theoretic basis for relational semantics
Abstract
Logic has proved essential for formally modeling software based systems. Such
formal descriptions, frequently called specifications, have served not only as
Authors
Pombo CGL; Maibaum TSE
Publication date
July 17, 2021
DOI
10.48550/arxiv.2107.08253
Preprint server
arXiv