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’s Princeton campus to host HAX Plasma Forge
The new venture program, focused on plasma science, will join an innovation ecosystem where SRI is advancing AI, quantum, photonics, and other next-generation technologies.
-
Quantum networking is moving out of the lab
Researchers are harnessing quantum behavior to create secure networks that will define the next communications era.
-
SRI tapped by Japanese government to establish venture initiative and attract researchers
Japan’s Global Startup Campus Initiative aims to promote innovation acceleration for deep technology startups making a global impact.