Normalisation in lambda calculus and its relation to type inference / Paula Gabriela Severi
type: Book
type: ProductModel
type: CreativeWork
description: Proefschrift Technische Universiteit Eindhoven
main entity of page: https://data.bibliotheken.nl/.well-known/genid/b58b930ec01bfb5cbab94bbac93dfcf0
name: Normalisation in lambda calculus and its relation to type inference
about: p077601874
about: p075665891
about: p078569338
about: p078606233
author: p115129537
language: en
number of pages: 201
isbn: 9038602189
issued: 1996