[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Hoare calculi for higher — type control siructures and their completeness in the sense of cook
Chytil, Michal P., Koubek, Václav, Janiga, LadislavVolume:
10.1007/BF
Year:
1988
Language:
english
DOI:
10.1007/bfb0017156
File:
PDF, 600 KB
english, 1988