BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Gopalan Nadathur
SearchCollections
Map detail
Gopalan Nadathur13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGopalan NadathurAGopalan NadathurResearcherA Logic for Reasoning About LF SpecificationsWA Logic for Reasoning A...preprint / 2022Uniform Provability in Classical LogicWUniform Provability in ...preprint / 1998Correspondences between Classical, Intuitionistic and Uniform ProvabilityWCorrespondences between...preprint / 1998Combining Deduction Modulo and Logics of Fixed-Point DefinitionsWCombining Deduction Mod...preprint / 2012Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and PracticeWProceedings Sixth Inter...preprint / 2011Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic FormWTranslating Specificati...preprint / 2013Towards Extracting Explicit Proofs from Totality Checking in TwelfWTowards Extracting Expl...preprint / 2013A Lambda Prolog Based Animation of Twelf SpecificationsWA Lambda Prolog Based A...preprint / 2014A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional ProgramsWA Higher-Order Abstract...preprint / 2016A Meta-Programming Approach to Realizing Dependently Typed Logic ProgrammingWA Meta-Programming Appr...preprint / 2010Nominal AbstractionWNominal Abstractionpreprint / 2010A two-level logic approach to reasoning about computationsWA two-level logic appro...preprint / 2010
Person12 links

Gopalan Nadathur

Researcher

PaperA Logic for Reasoning About LF SpecificationsAuthorship / preprint / 2022PaperUniform Provability in Classical LogicAuthorship / preprint / 1998PaperCorrespondences between Classical, Intuitionistic and Uniform ProvabilityAuthorship / preprint / 1998PaperCombining Deduction Modulo and Logics of Fixed-Point DefinitionsAuthorship / preprint / 2012PaperProceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and PracticeAuthorship / preprint / 2011PaperTranslating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic FormAuthorship / preprint / 2013PaperTowards Extracting Explicit Proofs from Totality Checking in TwelfAuthorship / preprint / 2013PaperA Lambda Prolog Based Animation of Twelf SpecificationsAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)