| |
| | J. Zucker: Publications |
 | | J.V. Tucker and J.I. Zucker (2002): Infinite initial algebra specifications for stream algebras, in Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, ed. |
 | | H.K. Hung and J.I. Zucker (1991): Semantics of pointers, referencing and dereferencing with intensional logic, in Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, Amsterdam, July 1991, 127-136. |
 | | Meyer, E.R. Olderog and J.I. Zucker (1985): Contrasting themes in the semantics of imperative concurrency, in Current Trends in Concurrency (Overviews and Tutorials): Proceedings of the ESPRIT/LPC Advanced School in Concurrency, Noordwijkerhout, The Netherlands, June 1985, ed. |
| www.cas.mcmaster.ca /~zucker/Pubs (1260 words) |
|