Home My Page Projects Lambda-prolog implementation of CIC
Summary Activity SCM Files

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2014-02-10 15:18
Activity Ranking: 0
View project Statistics
View list of RSS feeds available for this project.
Public Tools
SCM Repository (Git: 4,406 updates, 5,864 adds)
Project description

Study of the type checking, type inference and unification algorithms for CIC in the Lambda-prolog language.