[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)).
Moggi, Eugenio, Rosolini, GiuseppeVolume:
10.1007/BF
Year:
1997
Language:
english
DOI:
10.1007/bfb0026989
File:
PDF, 738 KB
english, 1997