A deciding algorithm for linear isomorphism of types with complexity O(nlog2(n))

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1290, Issue , 1997, Pages 197-209

  Andreev, A ^a   Soloviev, S ^b  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

^b DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS);

ASSOCIATIVITY; AXIOMATI-SATION; COMMUTATIVITY; LINEAR LAMBDA CALCULUS; SYMMETRIC MONOIDAL CLOSED CATEGORIES; UPPER BOUND;

SET THEORY;

EID: 0013403205     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0026989     Document Type: Conference Paper

References (8)

1. M. Rittri. Retrieving library functions by unifying types modulo linear isomorphism. Proceedings of Conference on Lisp and Functional Programming, 1992.
2. R. DiCosmo. Isomorphism of Types: from A-calculus to information retrieval and language design.- Birkhauser, 1995.
3. S.V. Soloviev. The category of finite sets and cartesian closed categories. Za-piski Natichnych Seminarov Leningradskogo Otdelenya Matematicheskogo Instituta im. V.A.Steklova AN SSSR, 105 (1981), 174-194. English translation in: Journal of Soviet Mathematics, 22(3)(1983), 1387-1400.
4. K. Bruce, R. Di Cosmo and G. Longo. Provable isomorphism of types. Preprint LIENS-90-14, Ecole Normale Superieure, Paris (1990).
5. G.E. Mints. Closed categories and Proof Theory. J.Soviet Math., 15 (1981), 45-62.
6. G.-Y. Girard, Y. Lafont. Linear logic and lazy computation. In: Proc.TAPSOFT 87 (Pisa), v.2, p.52-66, Lecture Notes in Comp.Sci. 250 (1987).
7. S.V. Soloviev. A complete axiom system for isomorphism of types in closed categories. - Lecture Notes in Artificial Intelligence, 698 (1993), 380-392.
8. P.H. Benton, G.M. Bierman, V.C.V. de Paiva and J.M.E. Hyland. A term calculus for Intuitionistic Linear Logic. - In Proceedings of Typed Lambda calculus and Applications, Lecture Notes in Comp.Sci., 664 (1992), 75-90.