Partial inductive definitions as type-systems for \(\lambda\)-terms
type: Item
instance of: scholarly article
title: Partial inductive definitions as type-systems for \(\lambda\)-terms
zbMATH Open document ID: 0786.03011
DOI: 10.1007/BF01995106
author: Daniel Fredholm
author: Svetozar Serafimovski
published in: BIT
publication date: 1994-05-05T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 438466
zbMATH Keywords: partial inductive definition
zbMATH Keywords: natural deduction calculus
zbMATH Keywords: lambda calculus
zbMATH Keywords: Church-Rosser property
zbMATH Keywords: non-normalizable deductions
zbMATH Keywords: typed fixed-point operator
MaRDI profile type: Publication
cites work: Partial inductive definitions
cites work: A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
cites work: A Proof-Theoretic Approach to Logic Programming
cites work: Q4722037
cites work: Q5638283
cites work: LCF considered as a programming language
cites work: Q5559220
description: scientific article; zbMATH DE number 438466