Cpo-models for second order lambda calculus with recersive types and subtyping
type: CreativeWork
type: Book
type: ProductModel
issued: 1991
about: p075603233
author: p089896793
author: p075493500
language: en
is part of: p860173992
main entity of page: https://data.bibliotheken.nl/.well-known/genid/deb3879cd458054f3e30386b64dbc1b7
number of pages: 49
label: Cpo-models for second order lambda calculus with recersive types and subtyping / by Erik Poll