Currying

Most Relevant Related Tags

• cartesian closed category [22%]
  
• lambda calculus [22%]
  
• programming language [11%]
  
• natural transformation [11%]
  
• lazy evaluation [11%]
  
• theorem [11%]
  
• theoretical computer science [11%]
  
• wiktionary [11%]
  
• universal property [11%]
  
• tuple [11%]
  
• isomorphism [11%]
  
• hom functor [11%]
  
• computer science [11%]
  
• christopher strachey [11%]
  
• category theory [11%]
  
• curry [11%]
  
• curry-howard correspondence [11%]
  
• haskell curry [11%]
  
• gottlob frege [11%]
  
• exponential object [11%]
  

This is the cloud of related tags for the Currying concept

adjoint functors cartesian closed category category theory christopher strachey computer science curry curry-howard correspondence exponential object gottlob frege haskell curry hom functor isomorphism lambda calculus lazy evaluation natural transformation programming language theorem theoretical computer science tuple universal property wiktionary