Publication:4365102
From MaRDI portal
zbMath0905.03036MaRDI QIDQ4365102
Publication date: 2 February 1999
cut; equational theories; proof normalization; first-order formulation of higher-order logic; termination of normalization
03F05: Cut-elimination and normal-form theorems
Related Items
Uses Software