@article{applicative,
  author =       {Mcbride, Conor and Paterson, Ross},
  title =        {Applicative programming with effects},
  year =         2008,
  issue_date =   {January 2008},
  publisher =    {Cambridge University Press},
  address =      {USA},
  volume =       18,
  number =       1,
  issn =         {0956-7968},
  url =          {https://doi.org/10.1017/S0956796807006326},
  doi =          {10.1017/S0956796807006326},
  abstract =     {In this article, we introduce Applicative functors –
                  an abstract characterisation of an applicative style
                  of effectful programming, weaker than Monads and
                  hence more widespread. Indeed, it is the ubiquity of
                  this programming pattern that drew us to the
                  abstraction. We retrace our steps in this article,
                  introducing the applicative pattern by diverse
                  examples, then abstracting it to define the
                  Applicative type class and introducing a bracket
                  notation that interprets the normal application
                  syntax in the idiom of an Applicative
                  functor. Furthermore, we develop the properties of
                  applicative functors and the generic operations they
                  support. We close by identifying the categorical
                  structure of applicative functors and examining
                  their relationship both with Monads and with Arrow.},
  journal =      {J. Funct. Program.},
  month =        jan,
  pages =        {1–13},
  numpages =     13
}

@book{curry,
  address =      {Boston},
  author =       {Morten Heine S\o{}rensen},
  editor =       {Pawe\l Urzyczyn},
  publisher =    {Elsevier},
  title =        {Lectures on the Curry-Howard Isomorphism},
  year =         2006
}

@book{dissect,
  author =       {David C Keenan},
  title =        {To Dissect a Mockingbird: A Graphical Notation for
                  the Lambda Calculus with Animated Reduction },
  year =         2014,
  month =        apr,
  url =          {https://dkeenan.com/Lambda},
}

@book{mock,
  author =       {Smullyan, Raymond M},
  title =        {To Mock a Mockingbird},
  year =         1985,
  publisher =    {Knopf}
}

@article{schoenfinkel,
  title =        {Über die Bausteine der mathematischen Logik},
  author =       {Schönfinkel, Moses},
  journal =      {Mathematische Annalen},
  volume =       92,
  number =       3,
  pages =        {305--316},
  year =         1924,
  publisher =    {Springer}
}