Home >
domains >
citeseer.ist.psu.edu
CPS Translations and Applications: the Cube and Beyond (1996)
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.
|
Keyword |
Results for this URL |
Total searches |