Ohloh by Black Duck

 Follow @ Meta   Join Now

 

Projects

Browse Projects By Tags Add a New Project
Selected Tags
Related Tags

Browsing projects by Tag(s)

Select a tag to browse associated projects and drill deeper into the tag cloud.

Showing page 1 of 1

aaa-comp527project

Compare

Implementing a Dependently-Typed Lambda CalculusWelcome to our COMP 527 project webpage on implementing a dependently-typed lambda calculus. In this project we will try to learn about simply-typed and dependently-typed lambda calculus, experiment with different implementations, and make the ... [More] connection with logic and natural deduction. Check out the Wiki for our project proposal and milestones, and the repository for the source code. Team members: Ali Assaf Abbie Desrosiers Alexandre Tomberg [Less]

0
 
  0 reviews  |  0 users  |  640 lines of code  |  0 current contributors  |  Analyzed 11 days ago
  computation dependent logic calculus types lambda
 
 
 
 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.