Telescopic mappings in typed lambda calculus
type: Item
instance of: scholarly article
title: Telescopic mappings in typed lambda calculus
zbMATH Open document ID: 0723.68024
DOI: 10.1016/0890-5401(91)90066-B
published in: Information and Computation
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 4193097
zbMATH Keywords: telescopes
zbMATH Keywords: typing
zbMATH Keywords: lambda calculus
describes a project that uses: Automath
MaRDI profile type: Publication
cites work: Q3795650
cites work: Q3342534
cites work: Q5610115
cites work: Q5667469
cites work: Q5187278
cites work: Q3793765
cites work: Q3210191
cites work: The calculus of constructions
cites work: Q3856127
cites work: Q3880323
cites work: Q3877069
author: N. G. de Bruijn
description: scientific article; zbMATH DE number 4193097