Congruence Types-Reference-Cited by-同舟云学术

Congruence Types

Published:1996 Issue: Volume: Page:36-51
ISSN:0302-9743
Container-title:Computer Science Logic
language:
Short-container-title:

Author:

Barthe Gilles,Geuvers Herman

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61377-3_30.pdf

Reference27 articles.

1. S. Abramsky, D. Gabbay, and T. Maibaum, editors. Handbook of Logic in Computer Science. Oxford Science Publications, 1992.

2. R. Backhouse, P. Chisholm, and G. Malcolm. Do-it-yourself type theory (part I). BEATCS: Bulletin of the European Association for Theoretical Computer Science, 34:68–110, 1988.

3. R. Backhouse, P. Chisholm, and G. Malcolm. Do-it-yourself type theory (part II). BEATCS; Bulletin of the European Association for Theoretical Computer Science, 35:205–244, 1988.

4. F. Barbanera, M. Fernandez, and H. Geuvers. Modularity of strong normalisation and confluence in the algebraic λ-cube. In Proceedings of LICS'94, pages 406–415. IEEE Computer Society Press, 1994.

5. H.P. Barendregt. Lambda calculi with types. In Abramsky et al. [1], pages 117–309. Volume 2.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Logic for Abstract Data Types as Existential Types;Lecture Notes in Computer Science;1999

2. The relevance of proof-irrelevance;Automata, Languages and Programming;1998

3. Termination of algebraic type systems: The syntactic approach;Algebraic and Logic Programming;1997

4. On the subject reduction property for algebraic type systems;Computer Science Logic;1997

5. A two-level approach towards lean proof-checking;Lecture Notes in Computer Science;1996