Changes between Version 2 and Version 3 of Mantras/AllYouNeedIsLambda


Ignore:
Timestamp:
Dec 20, 2017, 1:34:23 PM (2 years ago)
Author:
schiptsov
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Mantras/AllYouNeedIsLambda

    v2 v3  
    11= All You Need Is Lambda! =
    22
    3 This is mantra by honorable prof. Brian Harvey of UC Berkeley. It means that any computation could be defined (formalized) using nothing but [wiki:/FirstPrinciples/LambdaCalculus Lambda Calculus].
     3This is mantra by honorable prof. Brian Harvey of UC Berkeley. It means that any computation could be defined  using nothing but application of procedures (wich is formalized by [wiki:/FirstPrinciples/LambdaCalculus Lambda Calculus]).
    44
    55[wiki:/Languages/Scheme Scheme] could be considered as an implementation of "Untyped" Lambda Calculus.