Proof, Language, and Interaction, Essays in Honour of Robin Milner

Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. The MIT Press, 2000.

Conference: BIRTHDAY2000

Abstract

Abstract is missing.

Table of Contents