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/Q4391451	1998-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q4391447	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

This page was built for person: Gopalan Nadathur