Groote: Strong normalization of classical natural deduction with disjunction (2001)

by P de
Venue:TLCA 2001, Lecture Notes in Computer Science (2044
Add To MetaCart
Results 1 - 2 of 2

A short proof of the strong normalization of the simply typed λµ-calculus

by René David, Karim Nour - SCHEDAE INFORMATICAE , 2003
"... We give an elementary and purely arithmetical proof of the strong normalization of Parigot’s simply typed λµ-calculus. ..."
Abstract - Cited by 16 (12 self) - Add to MetaCart
We give an elementary and purely arithmetical proof of the strong normalization of Parigot’s simply typed λµ-calculus.

NORMALIZATION PROPERTIES OF SYMMETRIC LOGICAL CALCULI

by Peter Battyani , 2007
"... ..."
Abstract - Add to MetaCart
Abstract not found