Tripos theory in retrospect

Andrew M. Pitts1
1Cambridge University Computer Laboratory, William Gates Building, J. J. Thomson Avenue, Cambridge, CB3 0FD, U.K.#TAB#

Tóm tắt

Từ khóa


Tài liệu tham khảo