The Search for Mathematical Roots, 1870-1940

By Ivor Grattan-Guinness. 2011

154 citations recorded by the source corpus.

Subfields: Theoretical Computer Science

View Paper: https://www.semanticscholar.org/paper/6126cfd3fa4b2cf08254d3944bda98e96732fa02

Citations in the corpus

• Call-by-value is dual to call-by-name (2003, unknown): “Timothy Griffin (1990) A formulae-as-types notion of control.”