Report copyright - Chapter 11 AXIOMATIC SEMANTICS - University of Iowahomepage.divms.uiowa.edu/~slonnegr/plf/Book/Chapter11.pdf · 11.1 CONCEPTS AND EXAMPLES Axiomatic semantics has two starting points:
Please pass captcha verification before submit form