Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types.

Marcelo P. Fiore Roberto Di Cosmo Vincent Balat

Published in: LICS (2002)

Keyphrases

lambda calculus
neural network
higher order
real time
social networks
case study
database systems