2014-11-12: Peter Hancock

Sat, 21 Oct 2023 21:24:08 +0100

Peter Hancock

Lambda-abstraction and other diabolical contrivances

Abstract

The topic is the unholy trinity of eta, zeta, and xi. I'll indicate how Curry managed to give a finite combinatorial axiomatisation of this nastiness, by anticipating (almost-but-not-quite) McBride et al's applicative functors.

2014-11-12 11:00:00 UTC
LT1310