Isomorphisms of Types: from λ-calculus to information retrieval and language design

Roberto Di Cosmo1
1LIENS-DMI, Paris, France#TAB#

Tóm tắt

Từ khóa


Tài liệu tham khảo