Dataset - CKAN

an intuitionistic lambda calculus with exceptions

We introduce a typed lambda-calculus which allows the use of exceptions in the ML style. It is an extension of the system AF2 of Krivine & Leivant (Krivine, 1990;...
- HTML

You can also access this registry using the API (see API Docs).