A proof description language and its reduction system
type: Item
instance of: scholarly article
title: A proof description language and its reduction system
zbMATH Open document ID: 0522.03041
author: Masami Hagiya
published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 3825792
zbMATH Keywords: natural deduction proofs of closed existential formulae
zbMATH Keywords: normalization
zbMATH Keywords: lambda calculus
zbMATH Keywords: proof description language
describes a project that uses: Automath
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2977/prims/1195182986
OpenAlex ID: W2024841767
cites work: The lambda calculus, its syntax and semantics
cites work: Minimal and Optimal Computations of Recursive Programs
cites work: Q5610115
cites work: Q5610986
cites work: Q3880322
cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
cites work: Q5628099
cites work: On the interpretation of intuitionistic number theory
cites work: Q5344164
cites work: Q4099613
cites work: Recursive Functions and Intuitionistic Number Theory
cites work: Q5632554
cites work: Q5606586
cites work: Q4128794
cites work: Prolegomena to a theory of mechanized formal reasoning
DOI: 10.2977/PRIMS/1195182986
description: scientific article; zbMATH DE number 3825792