Theories of types and proofs by Nihon-Sūgakkai, Takahashi, Masako, Okada, M., (Mitsuhiro), Dezani-Ciancaglini, M., (Mariangiola) fromMSJ memoirs 0 Type: Book
