Home | About | Tools
home » context search » curried

Search within these results

adjoint
adjointness
adjunction
applications
apply
argument
ask
associativity
backus
barendregt
blackwell
calculus
caml
cartesian
category
closed
closures
compactly
computer
consciously
continous
continuous
cpo
curried
curry
dish
div
empty
equational
exponential
finite
frege
frölicher
function
functor
generative
gottlob
haskell
heim
hom
iff
implicit
intuitively
inv
kratzer
lambda
lazy
logician
maps
modelled
monoidal
morphism
multiplicative
natural
naturally
nomenclature
notation
noticing
object
product
programming
python
regrettable
retrospect
returns
ruby
scala
schönfinkel
schönfinkelisation
scott
semantics
sets
smalltalk
smooth
spaces
strachey
supplying
syntactic
takes
technique
terminal
theoretical
theory
topoi
topological
topology
transformation
transforming
typed
uncurrying
vector

Matching Pages (2 found; page 1 of 1)

Cartesian closed category - Wikipedia

G -sets are nothing but functors from this category to Set The category of all directed graphs is cartesian closed; this is a functor category as e...

Currying - Wikipedia

I. Heim and A. Kratzer (1998). Semantics in Generative Grammar . Blackwell. [ edit ] External links Look up currying in Wiktionary , the free dicti...

About Us | Feedback | Contact Us | ©2007 Trailfire Inc. All rights reserved.