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
-
Building the next generation of electronics
SRIās cleanroom offers clients the ability to develop new devices, build prototypes, work with experts, and run small-scale manufacturing.
-
PARC Forum: The AI boom and its impact on society
Bloombergās Parmy Olson joined SRIās Patrick Lincoln to discuss the future of AI and her new book, Supremacy: AI, ChatGPT, and the Race that Will Change the World.
-
Wafer-thin optical arrays could revolutionize satellite-to-satellite communication
SRIās light emitter arrays aim to democratize optical communication among āconstellationsā of small satellites.