Engberg, U. H. & Nielsen, M., 2000, Proof, Language, and Interaction: Essays in Honour of Robin Milner. Plotkin, G. D., Stirling, C. & Tofte, M. (red.). MIT Press, s. 599-622
Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning