Mathematics – Combinatorics
Scientist
Mathematics
Combinatorics
Scientist
LAMA
IML
Université de Savoie
LAMA, Iml
A Completeness Theorem for "Total Boolean Functions"
Coherent and finiteness spaces
Interaction Systems and Linear Logic, a different games semantics
Predicate Transformers and Linear Logic, yet another denotational model
Predicate Transformers, (co)Monads and Resolutions
No associations
LandOfFree
Pierre Hyvernat does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Pierre Hyvernat, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Pierre Hyvernat will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-251638