Primitive recursive estimate of strong normalization for predicate calculus

DOI10.1007/BF01629443zbMATH Open0492.03022OpenAlexW1967382676MaRDI QIDQ1167720FDOQ1167720

Authors: G. E. Mints 

Publication date: 1982

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01629443

zbMATH Keywords

reduction sequencesprimitive recursive bound for strong normalization of lambda-terms of finite types

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Cites Work

• Title not available (Why is that?)

This page was built for publication: Primitive recursive estimate of strong normalization for predicate calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1167720)