Algebraic Types in PER Models.

J. M. E. Hyland, Edmund P. Robinson, Giuseppe Rosolini

Browse the full MFPS paper archive.