Ordinals and ordinal functions representable in the simply typed lambda calculus
type: Item
instance of: scholarly article
title: Ordinals and ordinal functions representable in the simply typed lambda calculus
zbMATH Open document ID: 0932.03016
DOI: 10.1016/S0168-0072(98)00046-3
published in: Annals of Pure and Applied Logic
publication date: 2000-03-13T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03F15
zbMATH DE Number: 1340821
zbMATH Keywords: ordinal computation
zbMATH Keywords: simply typed lambda calculus
zbMATH Keywords: ordinal functions
zbMATH Keywords: ordinal notations
author: Norman Danner
describes a project that uses: Automath
MaRDI profile type: Publication
cites work: Q3342534
cites work: Automatic synthesis of typed \(\Lambda\)-programs on term algebras
cites work: Q4035315
cites work: Functions over free algebras definable in the simply typed lambda calculus
cites work: Definierbare Funktionen imλ-Kalkül mit Typen
cites work: The typed lambda-calculus is not elementary recursive
cites work: Word operation definable in the typed \(\lambda\)-calculus
cites work: \(\lambda\)-definability of free algebras
description: scientific article; zbMATH DE number 1340821