Lemon
Edit Page
Report
Scan day: 07 February 2014 UTC
29
Virus safety - good
Description: Functional language with inductive and coinductive types. Based on simply-typed lambda calculus augmented with sums, products, and mu and nu constructors for least (inductive) and greatest (coinductive) solutions to recursive type equations.
A Functional Language with Inductive and Coinductive Types is based on the simply-typed lambda calculus augmented with sums, products, and the mu and nu constructors for least ( ) solutions to recursive type equations. The term constructors of the language strictly follow the introduction and elimination rules for the corresponding types; in particular, the elimination for mu is
Size: 381 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Lemon |
| Keywords: | |
| Description: | |
| IP-address: | 129.130.10.32 |
WHOIS Info
| NS | Name Servers: NS-1.KSU.EDU 129.130.254.21 NS-2.KSU.EDU 129.130.139.151 |
| WHOIS | |
| Date | activated: 28-Jul-1987 last updated: 02-Aug-2012 expires: 31-Jul-2014 |