Duality between Call-by-value Reductions and Call-by-name Reductions(Theory of Programs)

スポンサーリンク

概要

著者

関連論文

スポンサーリンク