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 PARC Forum is now a podcast
Episodes featuring guests such as Julie Packard, Eric Schmidt, and Astro Teller can now be streamed on podcasting apps.
-
With DomiNite®, extreme low-light imaging goes digital
A new camera from SRI is poised to disrupt the decades-long dominance of analog low-light imaging.
-
New research shows kids learn STEM skills from PBS KIDS
SRI research demonstrates that screen-based educational content can measurably improve how young children understand the world around them.