リサーチレポート


  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 まで.