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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f25cbb5092ab90344f90f74c6633d82
https://doi.org/10.1177/14680181221121449
https://doi.org/10.1177/14680181221121449
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.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3972935b7a61b34204682ca77b7a64f5
https://doi.org/10.2139/ssrn.4346432
https://doi.org/10.2139/ssrn.4346432
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5993e2d686bfe3d9cb73f3cc2484f2a6
https://doi.org/10.1111/issr.12245
https://doi.org/10.1111/issr.12245
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00d42f85dabc7c49a6a8dcf99738a1ea
https://doi.org/10.1111/issr.12077
https://doi.org/10.1111/issr.12077
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e9ea9c60c9aa6d67c529767c636a380
https://doi.org/10.1111/issr.12046
https://doi.org/10.1111/issr.12046
Publikováno v:
Regards. :31-39
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d67c5801f92d6ec1aa34de83c19fa8ef
https://doi.org/10.3917/regar.045.0031
https://doi.org/10.3917/regar.045.0031
Autor:
Ian Orton
Publikováno v:
Revista Internacional de Seguridad Social. 65:129-133
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b6a1db0365ff5b046068b7f35d247a2
https://doi.org/10.1111/j.1752-1734.2011.01424.x
https://doi.org/10.1111/j.1752-1734.2011.01424.x