Simply Typed Lambda Calculus with First-class Environments | Tokyo Tech Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	Simply Typed Lambda Calculus with First-class Environments

Author

Japanese:	西崎真也.
English:	Shin-ya Nishizaki.

Type

Type:	Thesis (Ph.D.)
Country:

Language

Organization name

京都大学理学研究科

Report number

Conferred date

1994/--/--

Judge

©2007 Tokyo Institute of Technology All rights reserved.