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.

No reviews for this publication, yet.