Lucius Gregory Meredith

Identifiers

• name variant Lucius Gregory Meredith 0.60 · backfill

Papers (4)

1. Name-free combinators for concurrency cs.LO · 2017 · author #1
2. Logic as a distributive law cs.LO · 2016 · author #2
3. Linear Types Can Change the Blockchain cs.LO · 2015 · author #1
4. Higher category models of the pi-calculus cs.LO · 2015 · author #2

Mentions

• 1506.01001 #1 · backfill · confidence 0.70 Lucius Gregory Meredith
• 1504.04311 #2 · backfill · confidence 0.70 Lucius Gregory Meredith

Frequent Coauthors

• Mike Stay 2 shared papers
• Michael Stay 1 shared papers