Gopalan Nadathur
- Associate Professor
- Department of Computer Science
Contact Information
University of Chicago
1100 E 58th Street
Chicago, IL 60637
gopalan@cs.uchicago.edu
Personal Homepage
http://people.cs.uchicago.edu/~gopalan
Technical Reports
- TR-98-01
- An Explicit Substitution Notation in a lambda Prolog Implementation. Nadathur, G.. 30 January, 1998. Communicated by Gopalan Nadathur.
- TR-97-12
- Correspondences between Classical, Intuitionistic and Uniform Provability. Nadathur, Gopalan. 7 November, 1997. Communicated by Gopalan Nadathur.
- TR-97-07
- Realizing Modularity in lambdaProlog. Nadathur, Gopalan; Tong, Guanshan. 5 August, 1997. Communicated by Gopalan Nadathur.
- TR-97-01
- A Notation for Lambda Terms: A Generalization of Environments. Nadathur, Gopalan; Wilson, Debra S.. 1 May, 1996. Communicated by Gopalan Nadathur.
- TR-96-13
- A Fine-Grained Notation for Lambda Terms and Its Use in Intensional. Nadathur, G.. 30 May, 1996. Communicated by Gopalan Nadathur.
- TR-96-09
- Uniform Provability in Classical Logic. Nadathur, G. 19 March, 1996. Communicated by Gopalan Nadathur.
- TR-95-12
- Uniform Provability in Classical Logic. Nadathur, Gopalan. 30 November, 1995. Communicated by Gopalan Nadathur.
