Gopalan Nadathur

Available identifiers

zbMath Open nadathur.gopalanMaRDI QIDQ617714

List of research outcomes

Publication	Date of Publication	Type
Abella: A System for Reasoning about Relational Specifications	2019-09-18	Paper
Combining Deduction Modulo and Logics of Fixed-Point Definitions	2017-05-16	Paper
Reasoning in Abella about Structural Operational Semantics Specifications	2016-05-06	Paper
A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs	2016-04-26	Paper
A two-level logic approach to reasoning about computations	2013-08-01	Paper
The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations	2013-04-19	Paper
Programming with Higher-Order Logic	2012-06-15	Paper
Nominal abstraction	2011-01-13	Paper
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages	2008-05-27	Paper
Choices in representation and reduction strategies for lambda terms in intensional contexts	2007-01-29	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
Logic Programming	2006-06-27	Paper
A treatment of higher-order features in logic programming	2006-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4808747	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q2763626	2002-01-21	Paper
Correspondences between classical, intuitionistic and uniform provability	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4259974	1999-09-09	Paper
Uniform provability in classical logic	1999-04-12	Paper
A notation for lambda terms. A generalization of environments	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4391447	1998-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q4391451	1998-06-03	Paper
Scoping constructs in logic programming: Implementation problems and their solution	1997-10-05	Paper
A proof procedure for the logic of hereditary Harrop formulas	1994-09-26	Paper
Implementing polymorphic typing in a logic programming language	1994-07-21	Paper
Uniform proofs as a foundation for logic programming	1991-01-01	Paper
Higher-order Horn clauses	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3751042	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gopalan Nadathur