RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

CPO-models for second order lambda calculus with recursive types and subtyping

E. Poll, C. Hemerik and H. M. M. Ten Eikelder

RAIRO-Theor. Inf. Appl., 27 3 (1993) 221-260

Published online: 01 February 2017

DOI: 10.1051/ita/1993270302211

E. Poll

C. Hemerik

H. M. M. Ten Eikelder

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)