Home >
domains >
citeseer.ist.psu.edu
A Semantic View of Classical Proofs (1996)
Article by C.-H. Luke Ong presenting the semantics of classical proof theory from three perspectives: a formulae-as-types characterisation in a variant of Parigot's lambda-mu calculus, a denotational characterisation in game semantics, and a categorical semantics as a fibred CCC.
|
Keyword |
Results for this URL |
Total searches |