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
-
An SRI carbon capture experiment launches into space
By synthesizing carbon-absorbing aerogels in microgravity, SRI research will give us a rare glimpse into how these materials could be radically improved.
-
Stanford celebrates a world-changing SRI invention
Spotlighting Douglas Engelbart’s invention of the computer mouse, Stanford Magazine revisits a moment when SRI transformed computing forever.
-
Why quantum assurance matters
New SRI research seeks to secure the future of quantum innovation by extending software assurance capabilities from classical computers to quantum information systems.