Some extensional term models for combinatory logics and labda - calculi
type: Book
type: ProductModel
type: CreativeWork
issued: 1971
author: p071630848
description: Proefschrift Utrecht
language: en
main entity of page: https://data.bibliotheken.nl/.well-known/genid/e9a05f265e1892fc4c6d2a833b5f0740
number of pages: 140
label: Some extensional term models for combinatory logics and labda - calculi / by Hendrik Pieter Barendregt ; [with a summary in Dutch]