English Type theory Cited by user Tectoskepsis on 18 Jan 2024 In mathematics and computer science, a type theory is the formal presentation of a specific type system.
Chinese 頭等物件 Cited by user Mhss on 02 Feb 2022 頭等物件()在電腦科學中指可以在執行期創造並作為參數傳遞給其他函數或存入一個變數的實體。將一個實體變為頭等物件的過程叫做「物件化」(Reification)。.
Persian چارچوب منطقی Cited by user Hooman Mallahzadeh on 17 Jun 2020 یک چارچوب منطقی ، در علم منطق، راهی برای تعریف (یا نمایش) یک منطق به صورت یک امضا در نظریه نوع سطح بالاتر فراهم میبیند، این کار به شیوهای انجام میشود که اثباتپذیری یک…