|
Nov. 20th, 2008|12:19 am |
The book concentrates on the use of type systems in programming languages, at the expense of some topics (such as denotational semantics) that probably would be included in a more mathematical on typed lambda-calculi.
Русский перевод тяжеловеснее, согласен. Варианты? |
|