Remarks on isomorphisms in typed lambda calculi with empty and sum types
Marcelo Fiore, Roberto Di Cosmo, Vincent BalatVolume:
141
Year:
2006
Language:
english
Pages:
16
DOI:
10.1016/j.apal.2005.09.001
File:
PDF, 265 KB
english, 2006