pith. sign in

Herman Geuvers

Identifiers

  • name variant Herman Geuvers 0.60 · backfill

Papers (10)

  1. A benchmark for C program verification cs.PL · 2019 · author #3
  2. Type Theory based on Dependent Inductive and Coinductive Types cs.LO · 2016 · author #2
  3. Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description cs.AI · 2014 · author #4
  4. Continuation calculus cs.LO · 2013 · author #2
  5. Formal Mathematics on Display: A Wiki for Flyspeck cs.MS · 2013 · author #4
  6. The lambda-mu-T-calculus cs.LO · 2012 · author #1
  7. Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice cs.LO · 2011 · author #1
  8. A Wiki for Mizar: Motivation, Considerations, and Initial Prototype cs.DL · 2010 · author #4
  9. Proviola: A Tool for Proof Re-animation cs.LO · 2010 · author #2
  10. Degrees of Undecidability in Rewriting cs.LO · 2009 · author #2

Mentions

  • 1405.3451 #4 · backfill · confidence 0.70 Herman Geuvers
  • 1309.1257 #2 · backfill · confidence 0.70 Herman Geuvers
  • 1305.5710 #4 · backfill · confidence 0.70 Herman Geuvers
  • 1204.0347 #1 · backfill · confidence 0.70 Herman Geuvers
  • 1110.6685 #1 · backfill · confidence 0.70 Herman Geuvers
  • 1005.4552 #4 · backfill · confidence 0.70 Herman Geuvers
  • 1005.2672 #2 · backfill · confidence 0.70 Herman Geuvers
  • 0902.4723 #2 · backfill · confidence 0.70 Herman Geuvers

Frequent Coauthors