nLab lambda-calculus (history)

February 10, 2026

• Current (diff)
  by Urs Schreiber on February 10, 2026 at 14:58:10.

February 28, 2023

• Revision 23 (diff)
  by Urs Schreiber on February 28, 2023 at 14:35:20.

January 5, 2023

• Revision 22 (diff)
  by Urs Schreiber on January 5, 2023 at 18:12:53.

December 29, 2022

• Revision 21 (diff)
  by Urs Schreiber on December 29, 2022 at 16:46:41.

November 19, 2022

• Revision 20 (diff)
  by Urs Schreiber on November 19, 2022 at 12:15:34.

August 6, 2022

• Revision 19 (diff)
  by Urs Schreiber on August 6, 2022 at 12:56:04.

October 19, 2021

• Revision 18 (diff)
  by David Roberts on October 19, 2021 at 03:16:26.

May 14, 2021

• Revision 17 (diff)
  by Urs Schreiber on May 14, 2021 at 05:36:39.

January 1, 2020

• Revision 16 (diff)
  by David Corfield on January 1, 2020 at 11:56:24.

March 6, 2015

• Revision 15 (diff)
  by Noam Zeilberger on March 6, 2015 at 11:02:45.
• Revision 14 (diff)
  by Noam Zeilberger on March 6, 2015 at 09:58:00.

March 4, 2015

• Revision 13 (diff)
  by Noam Zeilberger on March 4, 2015 at 12:38:35.

November 16, 2014

• Revision 12 (diff)
  by Noam Zeilberger on November 16, 2014 at 12:12:59.

November 5, 2014

• Revision 11 (diff)
  by Noam Zeilberger on November 5, 2014 at 14:21:58.
• Revision 10 (diff)
  by Urs Schreiber on November 5, 2014 at 08:41:06.
• Revision 9 (diff)
  by Noam Zeilberger on November 5, 2014 at 06:55:27.

November 4, 2014

• Revision 8 (diff)
  by Noam Zeilberger on November 4, 2014 at 11:10:43.

August 13, 2012

• Revision 7 (diff)
  by Mike Shulman on August 13, 2012 at 00:20:33.

August 12, 2012

• Revision 6 (diff)
  by Urs Schreiber on August 12, 2012 at 21:38:25.

August 1, 2012

• Revision 5 (diff)
  by Todd Trimble on August 1, 2012 at 21:57:43.

June 15, 2012

• Revision 4 (diff)
  by Toby Bartels on June 15, 2012 at 00:20:11.

March 24, 2012

• Revision 3 (diff)
  by Mike Shulman on March 24, 2012 at 17:48:32.

May 11, 2011

• Revision 2 (diff)
  by Toby Bartels on May 11, 2011 at 19:19:16.
• Revision 1
  by Mike Shulman on May 11, 2011 at 00:04:15.