pith. sign in

Gopalan Nadathur

Identifiers

  • name variant Gopalan Nadathur 0.60 · backfill

Papers (21)

  1. Towards a Logic for Reasoning About LF Specifications cs.LO · 2018 · author #2
  2. Schematic Polymorphism in the Abella Proof Assistant cs.LO · 2018 · author #1
  3. A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs cs.PL · 2015 · author #2
  4. A Lambda Prolog Based Animation of Twelf Specifications cs.PL · 2014 · author #2
  5. Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic Form cs.LO · 2013 · author #2
  6. Towards Extracting Explicit Proofs from Totality Checking in Twelf cs.LO · 2013 · author #2
  7. Reasoning About Higher-Order Relational Specifications cs.LO · 2013 · author #4
  8. Combining Deduction Modulo and Logics of Fixed-Point Definitions cs.LO · 2012 · author #2
  9. Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice cs.LO · 2011 · author #2
  10. Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search cs.LO · 2010 · author #3
  11. A Meta-Programming Approach to Realizing Dependently Typed Logic Programming cs.LO · 2010 · author #3
  12. A two-level logic approach to reasoning about computations cs.LO · 2009 · author #3
  13. Nominal Abstraction cs.LO · 2009 · author #3
  14. Reasoning in Abella about Structural Operational Semantics Specifications cs.LO · 2008 · author #3
  15. Combining generic judgments with recursive definitions cs.LO · 2008 · author #3
  16. A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi cs.LO · 2007 · author #2
  17. The Bedwyr system for model checking over syntactic expressions cs.LO · 2007 · author #4
  18. A treatment of higher-order features in logic programming cs.PL · 2004 · author #1
  19. Scoping Constructs in Logic Programming: Implementation Problems and their Solution cs.PL · 1998 · author #1
  20. Correspondences between Classical, Intuitionistic and Uniform Provability cs.LO · 1998 · author #1
  21. Uniform Provability in Classical Logic cs.LO · 1998 · author #1

Mentions

  • 1509.03705 #2 · backfill · confidence 0.70 Gopalan Nadathur
  • 1407.1545 #2 · backfill · confidence 0.70 Gopalan Nadathur
  • 1310.8568 #2 · backfill · confidence 0.70 Gopalan Nadathur
  • 1307.1738 #2 · backfill · confidence 0.70 Gopalan Nadathur
  • 1302.2584 #4 · backfill · confidence 0.70 Gopalan Nadathur
  • 1204.6236 #2 · backfill · confidence 0.70 Gopalan Nadathur
  • 1110.6685 #2 · backfill · confidence 0.70 Gopalan Nadathur
  • 1007.0779 #3 · backfill · confidence 0.70 Gopalan Nadathur
  • 1005.4379 #3 · backfill · confidence 0.70 Gopalan Nadathur
  • 0911.2993 #3 · backfill · confidence 0.70 Gopalan Nadathur
  • 0908.1390 #3 · backfill · confidence 0.70 Gopalan Nadathur
  • 0804.3914 #3 · backfill · confidence 0.70 Gopalan Nadathur
  • 0802.0865 #3 · backfill · confidence 0.70 Gopalan Nadathur

Frequent Coauthors