Klaus Schneider

The Book Review Column 1 Coverage Untyped Systems Simple Types Recursive Types Higher-order Systems General Impression 3 Organization, and Contents of the Book

W. Gasarch, B. Pierce, dorandomness by Shparlinski, 2022 .