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

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)
Original languageEnglish
Pages (from-to)221-260
JournalInformatique Théorique et Applications / Theoretical Informatics and Applications
Volume27
Issue number3
Publication statusPublished - 1993

Cite this