Jagadeesan, Radha

Loyola University Chicago

1 paper on CoChatORCID 0000-0002-4525-1589

Most cited papers

Verified
Games and Full Completeness for Multiplicative Linear Logic
Abramsky, S., & Jagadeesan, R. (1994) · Journal of Symbolic Logic
Logic, programming, and type systemsAdvanced Algebra and Logic
Cited by 378

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free