Protocols between Programs and Proofs

Logic Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/3-540-45142-0_2 ◽

2001 ◽

pp. 18-37 ◽

Author(s):

Iman Poernomo ◽

John N. Crossley

Download Full-text