Colin P. Stirling

External links

View on OpenLibrary

Books by Colin P. Stirling

Mads Tofte, G. Plotkin, Colin P. Stirling: Proof, Language, and Interaction (2000, The MIT Press) No rating

Proof, Language, and Interaction

by , ,