Models for simply typed lambda-calculi with fixed point combinators and enumerators
type: ProductModel
type: Book
type: CreativeWork
issued: 1995
about: p078569338
about: p075659158
about: p075672561
about: p077601874
about: p095992200
about: p075665506
author: p135396131
description: Auteursnaam op omslag: Jean-Pierre van Draanen
description: Proefschrift Katholieke Universiteit Nijmegen
language: en
isbn: 9090081968
main entity of page: https://data.bibliotheken.nl/.well-known/genid/1a6f12fec6fb8fd89117fcdcf1749024
number of pages: 211
label: Models for simply typed lambda-calculi with fixed point combinators and enumerators / Johannes Petrus Cornelius Maria van Draanen