The converse principal type-scheme theorem in lambda calculus

Sachio Hirokawa

    研究成果: ジャーナルへの寄稿学術誌査読

    2 被引用数 (Scopus)

    フィンガープリント

    「The converse principal type-scheme theorem in lambda calculus」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    Mathematics

    Arts & Humanities