Mary Southern

Identifiers

• name variant Mary Southern 0.60 · backfill

Papers (3)

1. Towards a Logic for Reasoning About LF Specifications cs.LO · 2018 · author #1
2. A Lambda Prolog Based Animation of Twelf Specifications cs.PL · 2014 · author #1
3. Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic Form cs.LO · 2013 · author #1

Mentions

• 1407.1545 #1 · backfill · confidence 0.70 Mary Southern
• 1310.8568 #1 · backfill · confidence 0.70 Mary Southern

Frequent Coauthors

• Gopalan Nadathur 3 shared papers