—SEC. 05 — Computational Logic
Computational Logic
— SEC. 01
Subcategories
Subcategories
Browse by subcategory.
— SEC. 02
Listings
Listings
All links in this category.
Showing 1–3 of 3 editor-approved links.
Logical_Frameworks
Alfa
www.cs.chalmers.se
A successor to the proof editor Alf with a graphical user interface, being developed at the Programming Logic Group at Chalmers. Available for download.
Added May 10, 2026
Classical_Logic
CPS Translations and Applications: the Cube and Beyond (1996)
citeseer.ist.psu.edu
Article by G. Barthe, J. Hatcliff, and M.H. Sørensen which presents a CPS translation to Barenderegt's `cube' of pure type systems, and applies this to provide a formulae-as-types correspondence for higher-order classical predicate logic.
Added May 10, 2026
Classical_Logic
A Curry-Howard Foundation for Functional Computation with Control (1997)
citeseerx.ist.psu.edu
Article by C.-H. L. Ong and C. A. Stewart which presents a call-by-name variant of Parigot's lambda-mu calculus. The calculus is proposed as a foundation for first-class continuations and statically scoped exceptions in functional programming languages.
Added May 10, 2026