cancelpublished Linear approximation of the ?-calculus: a new presentation of an old thing

status will change from published to submitted

validating...