著者典拠情報

著者標目形：
Dezani-Ciancaglini, Mariangiola
属性：
Personal
から見よ参照形：
Ciancaglini, M. Dezani- (Mariangiola Dezani-)
Dezani-Ciancaglini, M.
Ciancaglini, Mariangiola Dezani-
注記：
International Symposium on Programming (5th : 1982 : Turin, Italy). Int. Sym. on Pro., 1982 (a.e.) t.p. (M. Dezani-Ciancaglini) p. iv (Mariangiola Dezani-Ciancaglini, Istituto du scienze dell'informazione, Università di Torino)
著者典拠ID：
DA02195410


1.

図書
図書
1. Theories of types and proofs
Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)
出版情報: Tokyo : Mathematical Society of Japan, 1998
シリーズ名: MSJ Memoirs ; v. 2
所蔵情報: 研究室
2.

図書
図書
2. Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings (: gw)
Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 902
所蔵情報: 図書館
3.

図書
図書
3. Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings (: gw ; : us)
G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 372
所蔵情報: 図書館
4.

図書
図書
4. International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings (: gw ; : us)
edited by M. Dezani-Ciancaglini and U. Montanari
出版情報: Berlin : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 137
所蔵情報: 図書館