Zobrazeno 1 - 10
of 88
pro vyhledávání: '"Orton, Ian"'
Autor:
Orton, Ian, Pitts, Andrew M.
Publikováno v:
Logical Methods in Computer Science, Volume 15, Issue 1, Type theory and constructive mathematics (January 9, 2019) lmcs:4292
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:
http://arxiv.org/abs/1802.05629
Publikováno v:
Leibniz International Proceedings in Informatics (LIPIcs), Vol. 108, pp. 22:1-22:17, 2018
We begin by recalling the essentially global character of universes in various models of homotopy type theory, which prevents a straightforward axiomatization of their properties using the internal language of the presheaf toposes from which these mo
Externí odkaz:
http://arxiv.org/abs/1801.07664
Autor:
Orton, Ian, Pitts, Andrew M.
Publikováno v:
Leibniz International Proceedings in Informatics (LIPIcs), Vol. 104, pp. 6:1-6:19, 2018
This paper investigates Voevodsky's univalence axiom in intensional Martin-L\"of type theory. In particular, it looks at how univalence can be derived from simpler axioms. We first present some existing work, collected together from various published
Externí odkaz:
http://arxiv.org/abs/1712.04890
Autor:
Orton, Ian, Pitts, Andrew M.
Publikováno v:
Logical Methods in Computer Science, Volume 14, Issue 4 (December 11, 2018) lmcs:4491
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:
http://arxiv.org/abs/1712.04864
Publikováno v:
International Social Security Review. Jan-Jun2024, Vol. 77 Issue 1/2, p17-34. 18p.
Autor:
Razavi, Shahra, Behrendt, Christina, Nesterenko, Valeria, Orton, Ian, Bista, Celine Peyron, Chaves, Alvaro Ramos, Schwarzer, Helmut, Stern-Plaza, Maya, Wodsak, Veronika
Publikováno v:
Global Social Policy; Dec2022, Vol. 22 Issue 3, p449-463, 15p
Autor:
Shreyasi Jha, Kip, Christopher, Grainne Moloney, Pasqual, Leigh, Chemba Raghavan, Rossmann, Sarah, Wong, Erica, Moussié, Rachel, Goulder, Ruth Graham, Addati, Laura, Behrendt, Christina, Cattaneo, Umberto, Orton, Ian, Pozzan, Emanuela
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e42742eda9f55dea48fdcf6601e9cdbb
Autor:
Bastagli, Francesca, Samman, Emma, Both, Nathalie, Evans, Martin, Sepúlveda, Magdalena, Yang, Lichao, Walker, Robert, Salomon, Heiner, Orton, Ian
Child poverty remains staggeringly high. One in five children live on less than $1.90 a day and children are more than twice as likely to be living in extreme income poverty compared with adults. Despite clear evidence of the effectiveness of well-de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1687::b13d749a460fea42e00f298ba124bde3
https://hdl.handle.net/10419/233927
https://hdl.handle.net/10419/233927
Autor:
Orton, Ian, Pitts, Andrew M.
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://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c2da7998522ba6f5112f9d7c589f19a
https://lmcs.episciences.org/4292
https://lmcs.episciences.org/4292
Since its inception in Bangladesh in 2002, the Graduation Approach has received much attention, including in mainstream media outlets. Beyond this positive media acclaim, momentum has gathered behind graduation as an important social policy instrumen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1687::6802a38f18444fd7e7e5ab7e45ddbf50
https://hdl.handle.net/10419/197756
https://hdl.handle.net/10419/197756