Proof, language, and interaction
Proof, language, and interaction
Mads Tofte
,
Colin P. Stirling
,
G. Plotkin
Details
OL Work ID
OL19125854W
Subjects
Computer science
Mathematics
Find this book
Open Library