Shawn Otis

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Logical Framework

Top Venues

Publications

Aïna Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka
LINCX: A Linear Logical Framework with First-Class Contexts. ESOP (2017)