Remarks on isomorphisms in typed lambda calculi with empty and sum types
Fiore, Marcelo ; Di Cosmo, Roberto ; Balat, Vincent
HAL, hal-00151252 / Harvested from HAL
Text on HAL
International audience
Publié le : 2002-08-01
Classification:  Type isomorphism,  Typed lambda calculus with sums,  Tarski's high school algebra problem,  [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL],  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00151252,
     author = {Fiore, Marcelo and Di Cosmo, Roberto and Balat, Vincent},
     title = {Remarks on isomorphisms in typed lambda calculi with empty and sum types},
     journal = {HAL},
     volume = {2002},
     number = {0},
     year = {2002},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00151252}
}

Fiore, Marcelo; Di Cosmo, Roberto; Balat, Vincent. Remarks on isomorphisms in typed lambda calculi with empty and sum types. HAL, Tome 2002 (2002) no. 0, . http://gdmltest.u-ga.fr/item/hal-00151252/