|
eCommons@Cornell >
Browsing by Author Jagadeesan, Radhakrishnan
Showing results 1 to 7 of 7
| Preview | Issue Date | Title | Author(s) | | Jul-1991 | Abstract Semantics for a Higher order Functional Language with Logic Variables | Jagadeesan, Radhakrishnan; Pingali, Keshav |
| Nov-1989 | A Categorical Powerdomain Construction | Jagadeesan, Radhakrishnan |
| Dec-1990 | Closure Operator Semantics for Concurrent Constraint Logic Programming | Jagadeesan, Radhakrishnan; Shanbhogue, Vasant |
| Nov-1989 | A Domain-Theoretic Model for a Higher-Order Process Calculus | Jagadeesan, Radhakrishnan; Panangaden, Prakash |
| Feb-1989 | A Fully Abstract Semantics for a Functional Language with Logic Variables | Pingali, Keshav; Panangaden, Prakash; Jagadeesan, Radhakrishnan |
| Aug-1991 | Investigations Into Abstraction and Concurrency | Jagadeesan, Radhakrishnan |
| Dec-1988 | L-domains and Lossless Powerdomains | Jagadeesan, Radhakrishnan |
Showing results 1 to 7 of 7
|
