はじめに 最近Advanced Topics in Types and Programming Language（ATTaPL）という本を読んでいるのですが、この本のはじめのSubstructural Type Systemの章で解説されているLinear Lambda Calculus（線形ラムダ計算）について、イマイチ理解が進まなかった…