A Universality Theorem for PCF With Recursive Types, Parallel-Or and Exists.

Thomas Streicher A Universality Theorem for PCF With Recursive Types, Parallel-Or and Exists. 111-115 1994 4 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs4.html#Streicher94