Home My Page Projects Rewriting Calculus
Summary Activity Lists News SCM Files

Rewriting Calculus: Project Home - forge_get_config('forge_name')

Project description

The rho-calculus is a framework that uniformly integrates rewriting and lambda calculus. The rho-calculus is designed and used for logical and semantical purposes. It could be used for expressing the semantics of rule based and object oriented paradigms.

Project Info

This project has not yet categorized itself in the Trove Software Map

Registered: 2006-08-31 12:35
Activity Ranking: 443
View project Statistics
View list of RSS feeds available for this project. 

Latest File Releases
Package Version Date Notes Monitor Download
This Project Has Not Released Any Files
Public Areas
 Mailing Lists (1 public mailing list)
 SCM Repository (Subversion: 12,557 commits, 4,636 adds)
Latest News
No News Items Found