Miller, Dale

Miller, Dale
All Links

Share this:

Details of Miller, Dale

About Miller, Dale
Miller, Dale- INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.
Education