ML-1993-05: Raymond Hoofman, Harold Schellinx Models of the Untyped l-calculus in Semi Cartesian Closed Categories 1.Full Text. < Back
