Well-founded Relations in Type Theory
type: Item
instance of: scholarly article
title: Well-founded Relations in Type Theory
zbMATH Open document ID: 0894.03011
author: Patricia Peratto
publication date: 1998-08-13T00:00:00Z
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 1097665
zbMATH Keywords: type theory
zbMATH Keywords: well-founded relations
zbMATH Keywords: ALF system
zbMATH Keywords: well-founded induction
zbMATH Keywords: well-founded recursion
zbMATH Keywords: program construction
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/jigpal/5.6.811
OpenAlex ID: W2087163659
DOI: 10.1093/JIGPAL/5.6.811
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 1097665