Some Algorithmic and Proof - TheoreticalAspects of Coercive
نویسندگان
چکیده
Coercive subtyping ooers a conceptually simple but powerful framework to understand subtyping and subset relationships in type theory. In this paper we study some of its proof-theoretic and computational properties.
منابع مشابه
Theory and implementation of coercive subtyping
Coercive subtyping is a useful and powerful framework of subtyping for type theories. In this thesis, we point out the problem in the old formulation of coercive subtyping in [Luo99], give a new and adequate formulation T [C], the system that extends a type theory T with coercive subtyping based on a set C of basic subtyping judgements, and show that coercive subtyping is a conservative extensi...
متن کاملSome Homogenization Results for Non-Coercive Hamilton-Jacobi Equations
Recently, C. Imbert & R. Monneau study the homogenization of coercive HamiltonJacobi Equations with a u/ε-dependence : this unusual dependence leads to a non-standard cell problem and, in order to solve it, they introduce new ideas to obtain the estimates on the oscillations of the solutions. In this article, we use their ideas to provide new homogenization results for “standard” Hamilton-Jacob...
متن کاملCoercive subtyping: Theory and implementation
Coercive subtyping is a useful and powerful framework of subtyping for type theories. The key idea of coercive subtyping is subtyping as abbreviation. In this paper, we give a new and adequate formulation of T [C], the system that extends a type theory T with coercive subtyping based on a set C of basic subtyping judgements, and show that coercive subtyping is a conservative extension and, in a...
متن کاملImpact of Manager’s Reward Power and Coercive Power on Employee’s Job Satisfaction: A Comparative Study of Public and Private Sector
Employees’ attitude towards his/her job differs across organization’s sector. The present study aimed to find out the differences in employee’s attitude in public and private sector. For this purpose, managers’ reward power and coercive power were taken as independent variables and their impact on employees’ job satisfaction (dependent variable) was examined in both sectors. Sample of 130 respo...
متن کاملProbabilistic Sufficiency and Algorithmic Sufficiency from the point of view of Information Theory
Given the importance of Markov chains in information theory, the definition of conditional probability for these random processes can also be defined in terms of mutual information. In this paper, the relationship between the concept of sufficiency and Markov chains from the perspective of information theory and the relationship between probabilistic sufficiency and algorithmic sufficien...
متن کامل