Proof Normalization for a First-Order Formulation of Higher-Order Logic (1998)

Cached

Download Links

by Gilles Dowek
Citations:4 - 1 self