Coinductive Proofs for Basic Real Computation

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_24 ◽

2006 ◽

pp. 221-230 ◽

Author(s):

Tie Hou

Download Full-text