A typed logic of partial functions reconstructed classically C. B. JonesC. A. Middelburg OriginalPaper Pages: 399 - 430