Recursive programming with proofs
type: Item
instance of: scholarly article
title: Recursive programming with proofs
zbMATH Open document ID: 0759.68014
DOI: 10.1016/0304-3975(92)90042-E
author: Michel Parigot
published in: Theoretical Computer Science
publication date: 1992-09-26T00:00:00Z
review text: We present some methods for programming with recursive data types using a fixed-point combinator, which allows one to construct programs having their intended behaviour.
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 03B15
zbMATH DE Number: 55538
zbMATH Keywords: recursive type theory
zbMATH Keywords: programming with recursive data types
zbMATH Keywords: fixed-point combinator
describes a project that uses: Nuprl
MaRDI profile type: Publication
cites work: Automatic synthesis of typed \(\Lambda\)-programs on term algebras
cites work: Q3477935
cites work: Q5619069
cites work: Q3688389
cites work: Q4268477
description: scientific article; zbMATH DE number 55538