On the power of simple diagrams

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

Volumn 1103, Issue , 1996, Pages 200-214

  Di Cosmo, Roberto ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; DIFFERENTIATION (CALCULUS);

HIGHER-ORDER; LAMBDA-CALCULI; REWRITING RULES; SIMPLY TYPED LAMBDA CALCULUS;

PATHOLOGY;

EID: 84944258180     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (28)

1. Y. Akama. On Mints' reductions for ccc-Calculus. In TLCA, n. 664 in LNCS, pages 1-12. Springer Verlag, 1993.
2. F. Barbanera. Combining term-rewriting and type-assignment systems. In 3rd It. Conf. on TCS, 1989.
3. F. Barbanera, M. Fernandez, and H. Geuvers. Modularity of strong normalization and confluence in the algebraic-λ- cube. In UCS, Paris, 1994.
4. H. Barendregt. The Lambda Calculus; Its syntax and Semantics (revised edition). North Holland, 1984.
5. G. Bellè. Syntactical properties of an extension of girard's system f where types can be taken as "generic" inputs. 1995. Available as ftp: //idefi×.disi.unige. it/pub/gbelle/systemFC.ps. Z.
6. V. Breazu-Tannen. Combining algebra and higher order types. In LICS, pages 82-90, July 1988.
7. V. Breazu-Tannen and J. Gallier. Polymorphic rewriting preserves algebraic strong normalization. TCS, 83:3-28,1991.
8. V. Breazu-Tannen and J. Gallier. Polymorphic rewiting preserves algebraic confluence. Inf. and Comp., 114:1-29, 1994.
9. D. Cubric. On free CCC. Distributed on the types mailing list, 1992.
10. P.-L. Curien and R. Di Cosmo. A confluent reduction system for the λ-calculus with suijective pairing and terminal object. JFP, 1995. To appear. A preliminary version appeared in ICALP 91.
11. R. Di Cosmo and D. Kesner. Simulating expansions without expansions. MSCS, 4:1-48,1994.
12. R. Di Cosmo and D. Kesner. Combining algebraic rewriting, extensional lambda calculi and fixpoints. TCS, 1995. To appear.
13. R. Di Cosmo and D. Kesner. Rewriting with polymorphic extensional λ-calculus. In CSL'95 (extended abstract), 1995. Full version accepted for CSL95 Proceedings, to appear in 1996.
14. R. Di Cosmo and A. Pipemo. Expanding extensional polymorphism. InM. Dezani-Ciancaglini and G. Plotkin, editors, TLCA, volume 902 of LNCS, pages 139-153, Apr. 1995.
15. D. J. Dougherty. Some lambda calculi with categorical sums and products. In RTA, 1993.
16. J. Gallier. On Girard's "Candidais de Reductibilité", pages 123-203. Logic and Computer Science. Academic Press, 1990.
17. A. Geser. Relative termination. Dissertation, Fakultät für Mathematik und Informatik, Universität Passau, Germany, 1990.
18. N. Ghani. βη-equality for coproducts. In M. Dezani-Ciancaglini and G. Plotkin, editors, TLCA, volume 902 of LNCS, 1995.
19. N. Ghani. Extensionality and polymorphism. University of Edimburgh, Submitted, 1995.
20. J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Cambridge University Press, 1990.
21. G. Huet Resolution d'équations dans les langages d'ordre 1, 2,…, ω. Thèse d'Etat, Université Paris VII, 1976.
22. C. B. Jay and N. Ghani. The Virtues of Eta-expansion. JFP, 5(2):135-154, Apr. 1995.
23. G. Longo, K. Milsted, and S. Soloviev. The Genericity Theorem and effective Parametricity in Polymorphic lambda- calculus. TCS, 121:323-349,1993.
24. G. Mints. Teorija categorii i teoria dokazatelstv.I. Aktualnye problemy logiki i metodologii nauky, pages 252-278, 1979.
25. M. Okada. Strong normalizability for the combined system of the types lambda calculus and an arbitrary convergent term rewrite system. In Symp. Synib. and Alg. Comp., 1989.
26. V. Tannen, P. Buneman, and L. Wong. Naturally embedded query languages. In 4th Int. Conf. on Database Theory, n. 646 in LNCS, 1992. Available as ftp://www.cis.upenn.edu/pub/papers/db-research/icdt92.dvi.Z.
27. V. van Oostrom. Developing developments. Draft, 1994.
28. L. Wong. Querying nested collections. PhD thesis, University of Pennsylvania, 1994. Available as ftp://www.cis.upenn.edu/pub/papers/db-research/limsoonphd.ps.z.