Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat. Remarks on isomorphisms in typed lambda calculi with empty and sum types. Annals of Pure and Applied Logic, 141(1-2):35-50, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.