リサーチレポート

1. Jeroen Ketema and Jakob Grue Simonsen
   Infinitary Combinatory Reduction Systems
   Technical Report D-558, DIKU, University of Copenhagen, 2006.

北陸先端科学技術大学院大学 外山・酒井研 (1993.4-1997.3)／外山研 (1997.4-2000.3)におけるリサーチレポートや技術報告はリサーチレポートや技術報告(JAIST)へ．

webmaster