[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
NYC LOCAL: Tuesday 11 October 2016 Lisp NYC: Jay Sulzberger on FizzBuzz,
NYC LOCAL: Tuesday 11 October 2016 Lisp NYC: Jay Sulzberger on FizzBuzz, mutilated chessboards, and the Dream of Homotopy Type Theory
11 Oct 2016 01:27:05 -0400
Lisp NYC, http://lispnyc.org, will meet on
Tuesday 11 October 2016 at
1900 hours at
123 William Street, 19th Floor
near Wall Street, on the Island of the Manahattoes
Fulton Street on the 2, 3, 4, 5, A, C, and J, lines.
The schedule of the Z line is obscure to me.
There are other lines which stop nearby.
Though the formal RSVP door is closed, I say show up and
we will make every effort to get you in, consistent with
New York City Fire Regulations.
Here are two more titles for the talk:
On the Several Differences between Lisp and the Lambda Calculus,
The Paradigm Case of Curry-Howard [that is, for the Simply
Typed Lambda Calculus] Helps Tell When Two Proofs of a Given
Proposition are Really The Same.
WARNING: This talk is, in large part, the result of my failure
to grasp material in the Big HoTT Book, and my positive
misunderstandings of elementary Type Theory. I thank
Noson Yanofsky, in particular, and all the participants
in the Homotopy Type Theory and More CUNY Seminar for their
long continued efforts to teach me the basics.
Here is the page for the seminar:
Noson Yanofsky's papers on Programs and Algorithms, and on
various equivalence relations on these two collections:
[page was last modified on 27 September 2016, at 08:09]
Gian-Carlo Rota's note on Alonzo Church:
When are two proofs the same?:
[page was last modified on 15 March 2013, at 22:24]
Physics, Topology, Logic and Computation: A Rosetta Stone
by John C. Baez and Mike Stay:
Lectures on the Curry-Howard Isomorphism, May 1998 not final version
by M. H. B. Sorenson and P. Urzyczyn:
Tom Stuart's delightful "Programming with Nothing":
J. R. Hindley's 1997 book Basic Simple Type Theory:
Oleg of Okmij's calculators:
Jan Malakhovski's propaganda for taking seriously certain
logical difficulties with material implication:
Distributed poC TINC:
Jay Sulzberger <address@hidden>
Corresponding Secretary LXNY
LXNY is New York's Free Computing Organization.
|[Prev in Thread]
||[Next in Thread]|
- NYC LOCAL: Tuesday 11 October 2016 Lisp NYC: Jay Sulzberger on FizzBuzz, mutilated chessboards, and the Dream of Homotopy Type Theory,