Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Public
julesh

I wonder what's the computational power of untyped linear lambda calculus?

Pretty sure it's not Turing complete, I don't think you can write a fixpoint combinator or any other kind of recursor without breaking linearity

James Wood

@julesh All untyped linear λ-calculus terms can be given a simple type. Just do Hindley-Milner type inference, and nothing can go wrong without multiple occurrences of a variable. (Conor taught me this.)

Nov 24, 2024, 06:54 PM·Public·Elk
4boosts·14favorites
Public
Philippa Cowderoy

@mudri @julesh facepalms having probably learned it from the same place and definitely forgotten it

SearchLive feeds
About