Additional Metadata
Publisher CWI
Editor J.W. Klop (Jan Willem) , J.J.C. Meijer , J.J.M.M. Rutten (Jan)
Citation
de Boer, F.S. (1989). A summary of the work on the proof theory for the language POOL. In J.W Klop, J.J.C Meijer, & J.J.M.M Rutten (Eds.), J.W. de Bakker, 25 jaar semantiek (pp. 159–162). CWI.