Mathematics – Logic
Scientist
Mathematics
Logic
Scientist
LAMA
Asymptotically almost all $λ$-terms are strongly normalizing
Simple proof of the completeness theorem for second order classical and intuitionictic logic by reduction to first-order mono-sorted logic
No associations
LandOfFree
Christophe Raffalli does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Christophe Raffalli, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Christophe Raffalli will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-49125