1,455 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
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. (arXiv:1406.1310v1 [cs.LO]) http://t.co/TkQ9IJ0jPX