A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is
An essential ingredient of this unification is the concept of objects with type members, which can be referenced through path-dependent types. ... So we can refer to the abstract type member type Food as a type through a type selection: a.Fooda.Food is a path-dependent type, in general, a chain, starting with an immutable variable, of immutable field ... Contributions In this paper, we explore the foundations of path-dependent types. ...doi:10.1145/2660193.2660216 dblp:conf/oopsla/AminRO14 fatcat:74ryijkmefgoxalq5nldsom624
An essential ingredient of this unification is the concept of objects with type members, which can be referenced through path-dependent types. ... So we can refer to the abstract type member type Food as a type through a type selection: a.Fooda.Food is a path-dependent type, in general, a chain, starting with an immutable variable, of immutable field ... Contributions In this paper, we explore the foundations of path-dependent types. ...doi:10.1145/2714064.2660216 fatcat:5hs77tn3sfflljjdzh5htyn2eu
Both PAC and PBAC are built on a common foundation that requires security architects to define application-specific dependency path patterns of provenance data. ... This paper elaborates on this common foundation of PAC and PBAC and identifies some of the differences in how this common foundation is applied in these two contexts. ... Similarly, the exclusive-intent approves the user-declared dependency and voids all other dependencies of the same type while the denying-intent voids the target path. ...dblp:conf/tapp/0001PS12 fatcat:nceb5jceybgobppykchdjiaiky
In the 'HoTT Book'  this principle is justified through the homotopy interpretation of type theory, by treating identifications as paths and the induction step as a homotopy between paths. ... Much of the power of HoTT lies in the correspondence between the formal type theory and ideas from homotopy theory, in particular the interpretation of types, tokens, and equalities as (respectively) spaces ... Acknowledgements We are very grateful to Steve Awodey for comments on a previous draft of this paper, and to the Leverhulme Trust for funding the project from which this paper derives. ...doi:10.1093/philmat/nkv014 fatcat:zkc7zsdldrcddgwff7rgaszfae
Homotopy Type Theory (HoTT) is a putative new foundation for mathematics grounded in constructive intensional type theory, that offers an alternative to the foundations provided by ZFC set theory and category ... Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. ... The justification given in the HoTT Book (and summarised in Section 3.4) depends upon the interpretation of identifications as paths in (homotopy) spaces -since any path is homotopic to a constant path ...doi:10.1093/bjps/axw006 fatcat:izvrm2uzwzahjc47n2twyrpxpy
We utilize a notion of dependency as the key foundation for access control policy specification. ... Dependency-based policy provides simplicity and effectiveness in policy specification and access control administration. ... and corresponding dependency paths. 9) : → , maps each ∈ to a path expression using only base dependency types ∈ by repeatedly expanding the definitions of any ∈ that occurs in ( ). 10) is a language ...doi:10.1109/pst.2012.6297930 dblp:conf/pst/ParkNS12 fatcat:m7wkzzgfhbgq5l4lqyxf7hzwum
One method that can identify hard layers is a type resistivity geolistrik method, which uses different rock resistivity parameters depending on the type of rock. ... The foundation is one of the important elements in the process of building a multistory building, where the foundation serves as the basic building that will support the main building weight above it. ... based on their resistivity values No Depth (m) Resistance Value Type (Ωm) Types of Soil / Rock Layers Color Index 1 0.00 -11.9 < 100 This layer is dominated by a pile of soil (Gravel) and Tufaan ...doi:10.1088/1757-899x/434/1/012289 fatcat:qma6i5cp2jboxb5filqmj33som
an interpretation of the dependent type theory of Per Martin-Löf into classical homotopy theory. ... The interpretation results in a bridge between the worlds of constructive and classical mathematics which promises to shed new light on both. ... sorted predicate logic whose dependent sorts are the dependent types of a type theory. ...doi:10.4171/owr/2011/11 fatcat:endpejs7fndldaiudccrxcdgka
We propose a condition called the uniform shortest-path tree that, under regularity, ensures the foundations of dominant-strategy mechanisms. ... We illustrate this by two examples: bilateral trade with ex ante unidentified traders and auction with type-dependent outside option. * We are indebted to Jeff Ely for bringing us to this topic and Stephen ... is satisfied, we can drop the dependence of the shortest-path tree on p and v −i . ...doi:10.1016/j.jet.2018.10.001 fatcat:dqvg6g23bvdgnoksjz4b3j4xdi
This behavior is typical of plates with small aspect ratios. In real situations the nonlinear response, even for small values of the aspect ratio, will depend on the type of imperfection. ... This leads to two completely different forms of response. When the transverse displacement is positive, the paths are coincident since the foundation has no influence on plate behavior. ...
We study the buckling of a one fiber composite whose matrix stiffness is slightly dependent on the compressive force. ... This limit load increases when increasing the stiffness parameter and is related to a possible localized path in the post-buckling domain. ... Results for an imperfect fiber are plotted in Figs. 2(b)-2(d) , showing two types of equilibrium paths. ...doi:10.1063/2.1306101 fatcat:krgcfcgbwffhnabmzndjieegpi
The critical point and the associated branching path were shown to be unstable for almost all values of relative foundation stiffness. ... The strut is surrounded by an elastic foundation of the Winkler type, of stiffness B per unit length, and the system is shown in Fig. 1(a) in its unbuckled configuration. ...
The American Journal of the Medical Sciences
Congestive heart failure type. 2. Hypertensive arteriosclerotic type. 3. Embolic type. (b) Dependent on general toxic phenomena. (c) Dependent on trauma to the pancreas. ... (a) Dependent on infection and/or obstruction of the biliary tract (b) Dependent on infection of contiguous structures. II. DEGENERATIVE. (a) Dependent on cardiovascular disease. 1. ...
In this paper we will focus on one such difference: Univalent Foundations' reliance on an intensional rather than extensional logic, through its use of intensional Martin-Löf type theory. ... The Univalent Foundations project The Univalent Foundations (UF) project is an approach to the foundations of mathematics currently under rapid development. ... Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution ...doi:10.1007/s11229-016-1301-z fatcat:f4eto2d7a5hcxhwuuzxf2w6hae
An introduction and survey of homotopy type theory in honor of W.W. Tait. ... One essential novelty is the use of so-called dependent types, which are regarded as "parametrized" types or type families indexed over a type. • Dependent Types: x : A ⊢ B(x) means that B(x) is a type ... Depending on the space, this can become quite a complicated structure of paths, deformations, higher-dimensional deformations, etc. ...arXiv:1701.02024v1 fatcat:f5yj6hfgcrfivj2ozxud2c6y74
« Previous Showing results 1 — 15 out of 591,619 results