Typed logic partial functions reconstr. by Jones