Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Martin Escardo"'
Autor:
Martín Escardó
Publikováno v:
Applied General Topology, Vol 4, Iss 1, Pp 193-200 (2003)
We show that the locales which are injective over perfect sublocale embeddings coincide with the underlying objects of the algebras of the upper powerlocale monad, and we characterize them as those whose frames of opens enjoy a property analogous to
Externí odkaz:
https://doaj.org/article/53d621476c7e46a8b4642cacf0bfba18
Autor:
Martin Escardo
Publikováno v:
Logical Methods in Computer Science, Vol Volume 4, Issue 3 (2008)
We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which the predica
Externí odkaz:
https://doaj.org/article/ed57ddc2f1214e0f9acccc8e6f76db83
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 1 (2017)
As the groupoid model of Hofmann and Streicher proves, identity proofs in intensional Martin-L\"of type theory cannot generally be shown to be unique. Inspired by a theorem by Hedberg, we give some simple characterizations of types that do have uniqu
Externí odkaz:
https://doaj.org/article/2ab86f20a0484d0e8ba1fce1ce0ad8ad
Publikováno v:
Norbert Müller and Martin Escardo and Paul Zimmermann. Elsevier, pp.154, 2005
Journal of Logic and Algebraic Programming, vol. 64, nb. 1, 154 pages; International audience; no abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c6da5015ea87fbae0886d0ededc9ac38
https://hal.inria.fr/hal-00917738
https://hal.inria.fr/hal-00917738
