Yoriyuki Yamagata

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004

2 EE Yoriyuki Yamagata: Strong normalization of the second-order symmetric lambda mu -calculus. Inf. Comput. 193(1): 1-20 (2004)

2001

1 EE Yoriyuki Yamagata: Strong Normalization of Second Order Symmetric Lambda-mu Calculus. TACS 2001: 459-467

2004
2	EE	Yoriyuki Yamagata: Strong normalization of the second-order symmetric lambda mu -calculus. Inf. Comput. 193(1): 1-20 (2004)
2001
1	EE	Yoriyuki Yamagata: Strong Normalization of Second Order Symmetric Lambda-mu Calculus. TACS 2001: 459-467