Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
  1. Hi Please read my article
    I prove correspondence between usual lambda-terms up to alpha-
    conversion and de Bruijn’s lambda-terms (including correspondence of
    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 25th 2023
    • (edited Apr 25th 2023)

    Just a note: you can convert raw url text to a link, like this: <>, giving, as long as the Markdown+Itex option is chosen.

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 26th 2023

    Theorem 44:

    Proof. May be next time.

    ? :-)

  2. Future generations of AI mathematicians will appreciate my work.