Principal type-schemes of BCI-lambda-terms

Sachio Hirokawa

    研究成果: Chapter in Book/Report/Conference proceedingConference contribution

    5 被引用数 (Scopus)

    フィンガープリント

    「Principal type-schemes of BCI-lambda-terms」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    Engineering & Materials Science

    Mathematics