Simply Typed Lambda Calculus with First-Class Environments

    • NISHIZAKI Shin-ya
    • Department of Information Technology, Faculty of Engineering, Okayama University

この論文を読む/探す

収録刊行物

Publications of the Research Institute for Mathematical Sciences   [巻号一覧]

Publications of the Research Institute for Mathematical Sciences 30(6), 1055-1121, 1994-12-00  [この号の目次]

京都大学

被引用文献:  2件

被引用文献を見るにはログインが必要です。ユーザIDをお持ちでない方は新規登録してください。

各種コード

  • NII論文ID(NAID) :
    110001050608
  • NII書誌ID(NCID) :
    AA00796798
  • 本文言語コード :
    ENG
  • 資料種別 :
    雑誌論文
  • ISSN :
    00345318
  • 収録DB :
    CJP引用  NII-ELS 

共有