1,439 followers
RT @ranha: λ計算と線形性ですね https://t.co/V6Y8p3FX3e https://t.co/88zkpjm9U8
RT @ranha: λ計算と線形性ですね https://t.co/V6Y8p3FX3e https://t.co/88zkpjm9U8
RT @ranha: λ計算と線形性ですね https://t.co/V6Y8p3FX3e https://t.co/88zkpjm9U8
A logical descriptor for regular languages via Stone duality http://t.co/dLAJdfUJ6b
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. (arXiv:1406.1310v1 [cs.LO]) http://t.co/TkQ9IJ0jPX