この構造はシークエント計算から直接持ってきたものだが、λμでの新規な点は、古典的な自然演繹的照明に計算的意味を与えた点であり、それには継続あるいはLISPやその後継で見られるthrow/catchが用いられる。
这种结构本质上是直接从经典的相继式演算转移过来的，但是革新为λμ给予了经典自然演义证明一种计算性的意义，通过在LISP和它的后代中可见到的callcc或throw/catch机制的方式。