pith.
Research
Integrity
Review
Pre-print
sign in
Physics
Mathematics
Computer Science
Biology
Finance
Statistics
Systems
Economics
authors
/ Giselle Reis (CMU)
Giselle Reis (CMU)
Identifiers
No identifiers captured yet.
Papers (1)
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
cs.LO · 2018 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
Fr\'ed\'eric Blanqui (INRIA)
1 shared papers