Miller, Dale
Edit Page
Report
Scan day: 09 February 2014 UTC
20
Virus safety - good
Description: INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.
My research covers the following topics in Classical, intuitionistic, and linear logics, focused sequent calculus proof systems, fixed points, higher-order quantification two-level logic specifications,
Size: 202 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Dale Miller - Home page |
| Keywords: | Dale Miller, Linear Logic, Proof Theory, lambda Prolog, Lolli, Forum, proof certificates, Declarative Programming, Focused proof systems |
| Description: | Home page for Dale Miller |
| IP-address: | 193.55.176.29 |
WHOIS Info
| NS | ns2.nic.fr [192.93.0.4 2001:660:3005:1::1:2] |
| WHOIS | status: ACTIVE status: ok |
| Date | created: 01/01/1995 last-update: 11/03/2009 changed: 15/10/2000 [email protected] changed: 08/11/2005 [email protected] changed: 02/12/2009 [email protected] changed: 14/02/2003 [email protected] |