Free Deduction: An Analysis of ”Computations (1992)

by M Parigot
Venue:in Classical Logic. Proceedings. Lecture Notes in Computer Science
Add To MetaCart
Results 1 - 5 of 5

Arithmetical proofs of strong normalization results for symmetric λ-calculi

by René David, Karim Nour
"... symmetric λµ-calculus ..."
Abstract - Cited by 11 (4 self) - Add to MetaCart
symmetric λµ-calculus

NORMALIZATION PROPERTIES OF SYMMETRIC LOGICAL CALCULI

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

Project-Team π.r 2 Design, study and implementation of languages for proofs and programs

by Paris Rocquencourt, Overall Objectives
"... e p o r t 2009 Table of contents ..."
Abstract - Add to MetaCart
e p o r t 2009 Table of contents

unknown title

by René David, Karim Nour , 905
"... Arithmetical proofs of strong normalization results for the symmetric λµ-calculus ..."
Abstract - Add to MetaCart
Arithmetical proofs of strong normalization results for the symmetric λµ-calculus

unknown title

by René David, Karim Nour , 905
"... Arithmetical proofs of strong normalization results for symmetric λ-calculi ..."
Abstract - Add to MetaCart
Arithmetical proofs of strong normalization results for symmetric λ-calculi