De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case
type: Item
instance of: scholarly article
title: De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case
zbMATH Open document ID: 1090.68019
author: Fairouz Kamareddine
author: Roel Bloo
published in: The Journal of Logic and Algebraic Programming
publication date: 2005-02-22T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 2136082
zbMATH Keywords: Class reduction
zbMATH Keywords: Type theory
zbMATH Keywords: Subject reduction
zbMATH Keywords: Strong normalisation
describes a project that uses: Automath
MaRDI profile type: Publication
full work available at URL: j.jlap.2004.01.008
OpenAlex ID: W2082949147
cites work: CPS transformation of beta-redexes
cites work: Q4281472
cites work: Postponement, conservation and preservation of strong normalization for generalized reduction
cites work: De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case
cites work: On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations
cites work: A useful \(\lambda\)-notation
cites work: Q4259970
cites work: Q3707989
cites work: An analysis of ML typability
cites work: Q4501151
cites work: Q3918095
cites work: An equivalence between lambda- terms
cites work: Q4501161
cites work: Strong normalization from weak normalization in typed \(\lambda\)-calculi
DOI: 10.1016/J.JLAP.2004.01.008
Recommended article: De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case
Recommended article: Reviewing the classical and the de Bruijn notation for \(\lambda\)-calculus and pure type systems
Recommended article: Typing untyped \(\lambda\)-terms, or reducibility strikes again!
Recommended article: Reducibility of types in typed lambda calculus. Comment on a paper by Richard Statman
Recommended article: Term-space semantics of typed lambda calculus
Recommended article: External and internal syntax of the \(\lambda \)-calculus
Recommended article: Q3804171
Recommended article: Q5283606
Recommended article: An upper bound for reduction sequences in the typed \(\lambda\)-calculus
Recommended article: Q3194765
description: scientific article; zbMATH DE number 2136082