Proof, language, and interaction: essays in honour of Robin Milner

By Gordon D. Plotkin, Colin Stirling, M. Tofte. 2000

376 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/022b27b25b5c6ff492e3935eb83889b01bad61b2