Remarks on isomorphisms in typed lambda calculi with empty and sum types.

Marcelo P. Fiore Roberto Di Cosmo Vincent Balat

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

multiscale
lambda calculus
real time
higher order
databases
artificial intelligence
neural network
case study
programming language