Login / Signup

Review of proof, language, and interaction: essays in honour of Robin Milner edited by Plotkin, Stirling and Tofte.

Riccardo Pucella
Published in: SIGACT News (2001)
Keyphrases