λ計算のための合理的な空間量：対数的観点からの考察

本稿では、λ計算における新たな空間計算量モデルを提案し、従来困難とされてきた対数空間の計算量を捉えることに成功したことを示す。