Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Ian Orton"'
Autor:
Ian Orton, Andrew M. Pitts
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 1, Iss Type theory and constructive... (2019)
This paper introduces a new family of models of intensional Martin-L\"of type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path. By considering a particular gros topos, we show th
Externí odkaz:
https://doaj.org/article/a2a8c4aea70346e3afc14b8b6c0143b5
Autor:
Ian Orton, Andrew M. Pitts
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 4 (2018)
The homotopical approach to intensional type theory views proofs of equality as paths. We explore what is required of an object $I$ in a topos to give such a path-based model of type theory in which paths are just functions with domain $I$. Cohen, Co
Externí odkaz:
https://doaj.org/article/b389b69bda97409c912297d69e08e367
Autor:
Shahra Razavi, Christina Behrendt, Valeria Nesterenko, Ian Orton, Celine Peyron Bista, Alvaro Ramos Chaves, Helmut Schwarzer, Maya Stern-Plaza, Veronika Wodsak
Publikováno v:
Global Social Policy. 22:449-463
Autor:
Rachel Moussié, Ruth Graham Goulder, Shreyasi Jha, Christopher Kip, Grainne Moloney, Leigh Pasqual, Chemba Raghavan, Sarah Rossmann, Erica Wong, Laura Addati, Christina Behrendt, Umberto Cattaneo, Ian Orton, Emanuela Pozzan
Publikováno v:
SSRN Electronic Journal.
Publikováno v:
International Social Security Review
The COVID‐19 pandemic has exposed the vulnerability of those who are inadequately covered by social protection in more and less developed countries alike, and has exacerbated the fragility of a social contract that was already under strain in many
Publikováno v:
International Social Security Review. 68:1-13
The 2014 Research Conference of the International Social Security Association (ISSA), which offered a platform for discussion and analysis among social security administrators and academia, addressed issues concerning the adequacy and sustainability
Publikováno v:
International Social Security Review. 67:17-36
The International Social Security Association's (ISSA) Dynamic Social Security conceptual framework has been developed as a tool to identify and analyse current and emerging challenges in social security policy and administrative practice and to guid
Publikováno v:
Regards. :31-39
Autor:
Ian Orton
Publikováno v:
International Social Security Review. 65:121-124