Yarrow Home Page
Library Home || Full Table of Contents || Suggest a Link || Library Help
|A proof-assistant for Pure Type Systems (PTSs). In Yarrow you can experiment with various pure type systems, representing different logics and programming languages. A basic knowledge of Pure Type Systems and the Curry-Howard-de Bruijn isomorphism is required. (This isomorphism says how you can interpret types as propositions.)|
|Resource Types:||Topic Tools Miscellaneous|
|Math Topics:||Logic/Foundations, Computer Science|
The Math Forum is a research and educational enterprise of the Drexel University School of Education.