A Simple Adequate Categorical Model for PCF, II

Torben Braüner. A Simple Adequate Categorical Model for PCF, II. Fundamenta Informaticae, 33(4):339-368, 1998.

Possibly Related Publications

The following publications are possibly variants of this publication: