Constructing a calculus of programs

Publisher Website

1 January 1989

book chapter
Published by Springer Nature

p. 66-90
https://doi.org/10.1007/3-540-51305-1_5

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

An Introduction to the Theory of Lists
Published by Springer Nature ,1987