2 papers
cs.LO2013
Implementing program extraction from CL1-proofs
Meixia Qu, Ke Chen, Daming Zhu +1
Computability logic (CoL) is a formal theory of interactive computation. It understands computational problems as games played by two players: a machine and its environment, uses l…
cs.LO2012
On the toggling-branching recurrence of Computability Logic
Meixia Qu, Junfeng Luan, Daming Zhu
We introduce a new, substantially simplified version of the toggling-branching recurrence operation of Computability Logic, prove its equivalence to Japaridze's old, "canonical" ve…