C. Urban. Classical Logic and Computation. PhD thesis, Cambridge University, October 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Sequentiality vs. Concurrency in Games and Logic - Abramsky (2001) (Correct)
....is typi ed by systems such as Girard s LC [Gir91] the systems LKT and LKQ of Danos, Joinet and Schellinx [DJS96] and the calculus of Parigot [Par92] 2. Study the full, untamed non con uent calculus, and nd the computational structure which is there. This is typi ed by work such as [BB96, Urb00, Lai01]. In a similar fashion, there seem to be two possibilities for studying Linear Logic proofs. 1. Taming the syntax, in such a way as to control the scheduling, and to avoid the bad combination of polarities which led to the problem with composition. Most game semantics applies to the ....
C. Urban. Classical Logic and Computation. Ph.D. thesis, Cambridge University, 2000.
Sequentiality vs. Concurrency in Games and Logic - Abramsky (2001) (Correct)
....is typi ed by systems such as Girard s LC [Gir91] the systems LKT and LKQ of Danos, Joinet and Schellinx [DJS96] and the calculus of Parigot [Par92] 2. Study the full, untamed non con uent calculus, and nd the computational structure which is there. This is typi ed by work such as [BB96, Urb00, Lai01]. In a similar fashion, there seem to be two possibilities for studying Linear Logic proofs. 1. Taming the syntax, in such a way as to control the scheduling, and to avoid the bad combination of polarities which led to the problem with composition. Most game semantics applies to the ....
C. Urban. Classical Logic and Computation. Ph.D. thesis, Cambridge University, 2000. 34
Strong Normalisation of Cut-Elimination in Classical Logic - Urban, Bierman (2000) (3 citations) Self-citation (Urban) (Correct)
No context found.
C. Urban. Classical Logic and Computation. PhD thesis, Cambridge University, October 2000.
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