Nuprl Project Related Web Sites
Edit Page
Report
Scan day: 05 March 2014 UTC
-72
Virus safety - good
Description: NuPRL is the oldest theorem prover based on Martin-Löf's Type Theory.
Nuprl Project Related Publications Encodes the pi calculus in the general process model of LICS paper by Bickford and Constable 2010, 2010. by Bickford, Mark, Robert L. Constable, and David Guaspari,
Size: 199 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Nuprl Project Related Publications |
| Keywords: | |
| Description: | |
| IP-address: | 128.84.154.137 |
WHOIS Info
| NS | Name Servers: BIGRED.CIT.CORNELL.EDU 128.253.180.35 DNS.CIT.CORNELL.EDU 192.35.82.53 |
| WHOIS | |
| Date | activated: 15-Jul-1985 last updated: 20-Sep-2012 expires: 31-Jul-2014 |