Categorical Models of the Differential λ-Calculus RevisitedOpen Website

J. Robin B. Cockett, Jonathan Gallagher

Published: 01 Jan 2016, Last Modified: 12 May 2023MFPS 2016Readers: Everyone
0 Replies