| 
|
Quote: a type algebra is intrinsically first-order; needs homeomorphisms from functions to relations
topics >
all references >
references p-r >
Topic:
type algebras, typed lambda calculus, and type-complete languages
Quotation Skeleton
The major exception to this trend is the … [refs], in which a type, with its primitive operations, is an … Unfortunately, the algebraic approach is intrinsically first-order … The way out of this impasse is to … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)