Proof terms (2004)

Cached

Download Links

by Tom Ridge , Formalised Liveness , Hol Light , Modularity Theory , Sequent Level

Document Versions

Proof terms –Tom Ridge, Formalised Liveness, Hol Light, Modularity Theory, Sequent Level — 2004