横内寛文
新しいプログラミング・パラダイム② ラムダ計算と高階プログラミング
1987年12月号
新しいプログラミング・パラダイム⑰ カテゴリカル・プログラミング
1989年03月号