Computer Science – Computation and Language
Scientist
Computer Science
Computation and Language
Scientist
INRIA Futurs, Labri
LaBRI, Inria Futurs
Graph Algorithms for Improving Type-Logical Proof Search
Proof nets for display logic
Proof nets for the Lambek-Grishin calculus
No associations
LandOfFree
Richard Moot does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Richard Moot, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Richard Moot will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-231339