Combinator vs Combinatory - What's the difference?
combinator | combinatory |
(computer science) A lambda expression which has no free variables in it.
* {{quote-web
, date = 1991-12-20
, author = Henk P. Barendregt
, title = Lambda Calculi With Types
, site = ftp.cs.ru.nl
, url = ftp://ftp.cs.ru.nl/pub/CompMath.Found/HBK.ps
, accessdate = 2012-07-15
}}
Of, relating to, or derived from a combination or combinations; combinative or combinatorial.
Having the ability to combine; combinable, combinational or combining.
As a noun combinator
is a lambda expression which has no free variables in it.As an adjective combinatory is
of, relating to, or derived from a combination or combinations; combinative or combinatorial.combinator
English
(wikipedia combinator)Noun
(en noun)- M'' is a ''closed λ-term'' (or ''combinator'') if ''FV''(''M ) = ?. The set of closed λ-terms is denoted by Λ0.
