On Long Normal Inhabitants of a Type
type: Item
instance of: scholarly article
title: On Long Normal Inhabitants of a Type
zbMATH Open document ID: 1086.03011
author: Sabine Broda
author: Luís Damas
publication date: 2005-07-13T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 2187135
zbMATH Keywords: Lambda calculus
zbMATH Keywords: simple types
zbMATH Keywords: normal inhabitants
zbMATH Keywords: natural deduction
zbMATH Keywords: normal proofs
MaRDI profile type: Publication
full work available at URL: exi016
OpenAlex ID: W2036947136
DOI: 10.1093/LOGCOM/EXI016
published in: Journal Of Logic And Computation
description: scientific article