Expressing combinatory reduction systems derivations in the rewriting calculus-Reference-Cited by-同舟云学术

Expressing combinatory reduction systems derivations in the rewriting calculus

Published:2006-12 Issue:4 Volume:19 Page:345-376
ISSN:1388-3690
Container-title:Higher-Order and Symbolic Computation
language:en
Short-container-title:Higher-Order Symb Comput

Author:

Bertolissi Clara,Cirstea Horatiu,Kirchner Claude

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications,Software

Link

http://link.springer.com/content/pdf/10.1007/s10990-006-0479-z.pdf

Reference28 articles.

1. Barbanera, F., Fernández, M., Geuvers, H.: Modularity of Strong Normalisation and Confluence in the Algebraic γ-cube. J. Funct. Program. 7(6), 613–660 (1997)

2. Barendregt, H.: Lambda Calculus: its Syntax and Semantics. North Holland (1984)

3. Barthe, G., Cirstea, H., Kirchner, C., Liquori, L.: Pure Patterns Type Systems. In: Principles of Programming Languages—POPL2003, New Orleans, USA. ACM (2003)

4. Blanqui, F.: Definitions by rewriting in the calculus of constructions. In: Logic in Computer Science, pp. 9–18 (2001)

5. Blanqui, F.: Type Theory and Rewriting. Ph.D. thesis, University Paris-Sud (2001)

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

1. Distributed Strategies and Managements based on State Constraint Logic with Predicate for Communication;Proceedings of the 6th International Conference on Complexity, Future Information Systems and Risk;2021

2. Algebraic Expressions with State Constraints for Causal Relations and Data Semantics;Communications in Computer and Information Science;2021

3. Theoretical Basis of Language System with State Constraints;Proceedings of the 5th International Conference on Complexity, Future Information Systems and Risk;2020

4. Modal Mu-calculus Extension with Description of Autonomy and Its Algebraic Structure;Proceedings of the 5th International Conference on Complexity, Future Information Systems and Risk;2020

5. Relating Nominal and Higher-Order Rewriting;Mathematical Foundations of Computer Science 2014;2014