The TPS Theorem Proving System, Journal of Symbolic Logic 57 (1992)

by P B Andrews, S Issar, D Newmith, F Pfenning
Venue:B A A B B intro : A B A B elim : A B [A i ] : : C [B j ] : : C C
Add To MetaCart
Results 1 - 1 of 1

Extracting Text from Proof

by Yann Coscoy, Gilles Kahn, Laurent Thery - IN TYPED LAMBDA CALCULUS AND ITS APPLICATIONS , 1995
"... ..."
Abstract - Cited by 37 (1 self) - Add to MetaCart
Abstract not found