Documents liés : [1 document(s)]

Documents (Auteurs)

• [MathCongrès] Theories of types and proofs / Ed. Takahashi, Masako ; Ed. Okada, Mitsuhuro ; Ed. Dezani-Ciancaglini, Mariangiola. -Tokyo : Mathematical Society of Japan, 1998. - vii, 295 p. ; 25 cm
  https://projecteuclid.org/ebooks/mathematical-society-of-japan-memoirs