Reduction Rules for Intuitionistic λρ-calculus

Publication Information

Title

Japanese:
English:	Reduction Rules for Intuitionistic λρ-calculus

Author

Japanese:	Ken-Etsu Fujita, 鹿島亮, Yuichi Komori, 松田直祐.
English:	Ken-Etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda.

Language

English

Journal/Book name

Japanese:
English:	Studia Logica

Volume, Number, Page

Vol. 103 No. 6 pp. 1225-1244

Published date

2015

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English: