C.-H. L. Ong. A semantic view of classical proofs: type-theoretic, categorical, denotational characterizations. In Proc. Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 230--241. IEEE Computer Society Press, 1996. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Proof Theoretical Account of Continuation Passing Style - Ogata (Correct)
CPS Translating Inductive and Coinductive Types (Extended.. - Barthe, Uustalu (2002) (Correct)
Full Abstraction for Functional Languages with Control - Laird (1997) (36 citations) (Correct)
CPS Translating Inductive and Coinductive Types (Extended.. - Barthe, Uustalu (2002) (Correct)
Call-by-Value λμ-calculus and Its Simulation by the.. - Ogata (Correct)
Games And Definability For FPC - McCusker (1997) (1 citation) (Correct)
A Confluent Lambda-Calculus With a Catch/throw Mechanism - Crolard (Correct)
Control Categories and Duality: on the Categorical Semantics of.. - Selinger (1999) (29 citations) (Correct)
A CPS-transform of Constructive Classical Logic - Ogata (1999) (Correct)
Gentzen-Style Classical Proofs asλμ-Terms - Ogata (1999) (Correct)
A Computational Interpretation of the λμ-calculus - Bierman (1998) (2 citations) (Correct)
A Notion of Classical Pure Type System - Barthe, Hatcliff, al. (1997) (6 citations) (Correct)
Towards a Classical Linear λ-calculus - Bierman (1996) (Correct)
Environments, Continuation Semantics and Indexed Categories - Power, Thielecke (Correct)
Classical Proofs as Programs, Cut Elimination as Computation - Ogata (Correct)
A proof theoretical approach to Continuation Passing Style - Ichiro Ogata (Correct)
Classical Proofs as Programs, Cut Elimination as Computation - Ogata (Correct)
CPS Translations and Applications: The Cube and Beyond - Barthe, Hatcliff, Sørensen (1996) (5 citations) (Correct)
Gentzen-Style Classical Proofs as λμ-Terms - Ogata (1999) (Correct)
A Classical Linear λ-calculus - Bierman (1997) (Correct)
An Interpretation of the Second Order Sequent Calculus in the.. - Th Mar Ch (Correct)
Categorical Structure of Continuation Passing Style - Thielecke (1997) (18 citations) (Correct)
Type Theories for Autonomous and *-Autonomous Categories: I.. - Koh, Ong (1998) Self-citation (Ong) (Correct)
A Curry-Howard foundation for functional computation with control - Ong, Stewart (1997) (36 citations) Self-citation (Ong) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC