Proof, language, and interaction
by Mads Tofte, G. Plotkin, Colin P. Stirling
Computer scienceMathematics
Writing a summary for young readers…
For young readers
Book data: Open Library
by Mads Tofte, G. Plotkin, Colin P. Stirling
Book data: Open Library