A Typed Logic of Partial Functions Reconstructed Classically (1994)

Cached

Download Links

by C. B. Jones , C. A. Middelburg
Venue:ACTA INFORMATICA
Citations:31 - 3 self