zbMath1107.03026MaRDI QIDQ851527
Pimpen Vejjajiva
Publication date: 21 November 2006 Published in: Southeast Asian Bulletin of Mathematics (Search for Journal in Brave)
zbMATH Keywords
strong normalization; Curry-Howard terms; extracting programs from proofs; second-order predicate calculus
Mathematics Subject Classification ID
03B70: Logic in computer science
03F05: Cut-elimination and normal-form theorems