Showing 1 - 2 results of 2 for search '"type theory"', query time: 0.03s Refine Results
  1. 1
    Determining substitutability of cloud services supported by semantically extended type theory

    Determining substitutability of cloud services supported by semantically extended type theory by Xian-qing WANG, Chang-qin HUANG, UOXuan LUO, Rui-hua NIE, Yong TANG, Xiao-yong MEI

    Published 2016-02-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Understanding and ad hoc Explanation: A Case of Russell’s Reducibility Axiom

    Understanding and ad hoc Explanation: A Case of Russell’s Reducibility Axiom by V. V. Tselishchev, A. V. Khlebalin

    Published 2022-05-01
    Subjects: “…branched type theory…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: