Dual Identity Combinators
Edit Page
Report
Scan day: 17 February 2014 UTC
0
Virus safety - good
Description: Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the formulae-as-types sense, to combinatory logic.
20th WCP: Dual Identity Combinators
Size: 35 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | 20th WCP: Dual Identity Combinators |
| Keywords: | |
| Description: | |
| IP-address: | 128.197.26.34 |
WHOIS Info
| NS | Name Servers: EDNS01.BU.EDU 128.197.253.182 EDNS02.BU.EDU 168.122.254.62 |
| WHOIS | |
| Date | activated: 25-Mar-1986 last updated: 21-May-2013 expires: 31-Jul-2014 |