3 ms·
I strongly recommend "Proofs and Types" (http://www.PaulTaylor.EU/stable/Proofs%2BTypes.html http://www.PaulTaylor.EU/stable/Proofs%2BTypes.html), which has the
by tomstuart 17y ago
I strongly recommend "Proofs and Types" (http://www.PaulTaylor.EU/stable/Proofs%2BTypes.html http://www.PaulTaylor.EU/stable/Proofs%2BTypes.html), which has the added advantage of being free.
- smikhanov 17y agoThanks, added to the bookmarks. Alongside with the one I found earlier http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf, this book seem to cover not the type theory per se, but the mathematics that make its foundations. This is great, though not exactly what I'm looking for.
- tomstuart 17y agoIt depends what you mean by "type theory", but you're right. See Pierce for a more practical introduction. "Proofs and Types" is more fundamental and focuses on the interplay between the operational semantics of the underlying language and the structure of its type system (read as proofs of properties of programs written in the language).