Recursive program schemes : semantics and proof theory

W.P. de Roever
Bok · Engelsk · 1976 W.-P. de Roever

Utgitt	Amsterdam : Mathematisch Centrum , 1976
Omfang	IX, 112 s.
Emner	Programming languages (Electronic computers) - Semantics Proof theory Recursive programming
ISBN	9061961270