Mathematics
Logic
Scientist
LAMA
A direct proof of the confluence of combinatory strong reduction
A short proof of the Strong Normalization of Classical Natural Deduction with Disjunction
A short proof of the strong normalization of the simply typed $λμ$-calculus
A short proof that adding some permutation rules to $β$ preserves $SN$
A short proof that adding some permutation rules to beta preserves SN
No associations
LandOfFree
René David does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with René David, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and René David will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-49117