Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types

Overview of attention for article published in Studia Logica, October 2015

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 public wall post.

[RG update] Adrian Rezuș, Review of: Henk Barendregt, Will Dekkers, Richard Statman et al., `Lambda Calculus With Types'…