Richard Moot

Identifiers

• name variant Richard Moot 0.60 · backfill

Papers (6)

1. SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention cs.CL · 2023 · author #3
2. Neural Proof Nets cs.CL · 2020 · author #3
3. Partial Orders, Residuation, and First-Order Linear Logic cs.LO · 2020 · author #1
4. \AE THEL: Automatically Extracted Typelogical Derivations for Dutch cs.CL · 2019 · author #3
5. Classical logic and intuitionistic logic: equivalent formulations in natural deduction, G\"odel-Kolmogorov-Glivenko translation math.LO · 2016 · author #1
6. Proof nets for the Lambek-Grishin calculus cs.CL · 2011 · author #2

Mentions

• 2302.12050 #3 · arxiv_oai · confidence 0.70 Richard Moot
• 2009.12702 #3 · arxiv_oai · confidence 0.70 Richard Moot
• 1912.12635 #3 · arxiv_oai · confidence 0.70 Richard Moot
• 2008.06351 #1 · arxiv_oai · confidence 0.70 Richard Moot
• 1602.07608 #1 · arxiv_oai · confidence 0.70 Richard Moot
• 1112.6384 #2 · arxiv_oai · confidence 0.70 Richard Moot
• 1112.6384 #2 · backfill · confidence 0.70 Richard Moot

Frequent Coauthors

• Michael Moortgat 4 shared papers
• Konstantinos Kogkalidis 3 shared papers
• Christian Retor\'e 1 shared papers