Login / Signup

Categorical Models of the Differential λ-Calculus Revisited.

J. Robin B. CockettJonathan Gallagher
Published in: MFPS (2016)
Keyphrases