Simply Typed Lambda Calculus with First-Class Environments

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

Journal

Publications of the Research Institute for Mathematical Sciences   [List of Volumes]

Publications of the Research Institute for Mathematical Sciences 30(6), 1055-1121, 1994-12-00  [Table of Contents]

Kyoto University

Cited by:  2

You must have a user ID to see the cited references.If you already have a user ID, please click "Login" to access the info.New users can click "Sign Up" to register for an user ID.

Codes

  • NII Article ID (NAID) :
    110001050608
  • NII NACSIS-CAT ID (NCID) :
    AA00796798
  • Text Lang :
    ENG
  • Article Type :
    Journal Article
  • ISSN :
    00345318
  • Databases :
    CJPref  NII-ELS 

Share