| 
|
Quote: simplest type-complete language is the typed lambda calculus
topics >
all references >
references c-d >
Topic:
type algebras, typed lambda calculus, and type-complete languages
Quotation Skeleton
Probably the simplest example of a type-complete language … .In fact, this framework describes a family of … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)