Finitism, imperative programs and primitive recursion
type: Item
instance of: scholarly article
title: Finitism, imperative programs and primitive recursion
author: Daniel M. Leivant
publication date: 2022-02-08T00:00:00Z
Mathematics Subject Classification ID: 03D20
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 7471465
zbMATH Keywords: finitism
zbMATH Keywords: primitive recursive arithmetic
zbMATH Keywords: finite partial functions
zbMATH Keywords: primitive recursive functions
zbMATH Keywords: imperative programming
zbMATH Keywords: loop variant
zbMATH Keywords: Parsons' theorem
MaRDI profile type: MaRDI publication profile
full work available at URL: exaa076
OpenAlex ID: W4233250478
DOI: 10.1093/LOGCOM/EXAA076
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 7471465