Map
Index
Random
Help
th

Quote: a function type is a cross product of its argument types to its result type

topics > all references > references i-l > QuoteRef: kiebRB9_1973 , p. 2.3 [



Topic:
function signature
Topic:
type algebras, typed lambda calculus, and type-complete languages

Note

functions have a type such as t1Xt2Xt3X...Xtn-> t0 of argument types and result type


Related Topics up

Topic: function signature (21 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.