3,158 followers
Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence https://t.co/TwRgeHgG21 そして大体は躍動している.
Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence https://t.co/TwRgeHgG21 そして大体は躍動している.
RT @sinya8282: いや,やっぱ一番面白かったのはこれだ. Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence https://t.co/TwRgeHyhqB
RT @sinya8282: いや,やっぱ一番面白かったのはこれだ. Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence https://t.co/TwRgeHyhqB
いや,やっぱ一番面白かったのはこれだ. Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence https://t.co/TwRgeHyhqB