A Proof of the Standardization Theorem in Lambda-Calculus | Science Tokyo Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	A Proof of the Standardization Theorem in Lambda-Calculus

Author

Japanese:	Ryo Kashima.
English:	Ryo Kashima.

Language

English

Journal/Book name

Japanese:
English:	Research Reports on Mathematical and Computing Sciences, TIT

Volume, Number, Page

Vol. C-145

Published date

2000

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

©2007 Institute of Science Tokyo All rights reserved.