Visible to the public Program Verification and the Church-Rosser Theorem

Submitted by brad_martin on Tue, 02/14/2012 - 12:36pm. Contributor:

Presented as part of the 2001 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Program Verification and the Church-Rosser Theorem
Switch to experimental viewer