Proof terms (2004)

View PDF

Download Links

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