Citation
Israel, D. J. Lucid and Intensional Logic, in Proceedings of the Fifth International Symposium on Lucid and Intensional Programming Languages,, Apr 1992.
Lucid and Intensional Logic
Read more from SRI
-
SRI celebrates International Women’s Day
To recognize International Women’s Day, SRI shares the stories of four women whose work delivered fundamental advances in computer science.
-
The hidden cost of springing forward
Daylight Savings Time is more than just an hour lost. How can we better prepare ourselves?
-
SRI becomes a founding member of the OCUDU Ecosystem Foundation
Hosted by the Linux Foundation, the OCUDU Ecosystem Foundation will build an open-source, AI-native software stack for 5G and early 6G Radio Access Networks.