×

Found 713 Documents (Results 1–100)

Generalization of the Landau and Becker-Pommerenke inequalities. (English. Russian original) Zbl 07594422

Dokl. Math. 106, No. 1, 251-253 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 505, 46-49 (2022).
MSC:  30C55
PDF BibTeX XML Cite
Full Text: DOI

The exact domain of univalence on the class of holomorphic maps of a disc into itself with an interior and a boundary fixed points. (English. Russian original) Zbl 1486.30062

Izv. Math. 85, No. 5, 1008-1035 (2021); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 85, No. 5, 190-218 (2021).
MSC:  30C55 30C75
PDF BibTeX XML Cite
Full Text: DOI

Constructing a universe for the setoid model. (English) Zbl 07410416

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 1-21 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Asymptotically sharp two-sided estimate for domains of univalence of holomorphic self-maps of a disc with an invariant diameter. (English. Russian original) Zbl 1461.30041

Sb. Math. 211, No. 11, 1592-1611 (2020); translation from Mat. Sb. 211, No. 11, 96-117 (2020).
MSC:  30C45 30C55
PDF BibTeX XML Cite
Full Text: DOI

A constructive model of directed univalence in bicubical sets. (English) Zbl 1498.03038

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 915-928 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Partial univalence in \(n\)-truncated type theory. (English) Zbl 1498.03034

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 807-819 (2020).
MSC:  03B38 55U35 18N45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Cubical assemblies, a univalent and impredicative universe and a failure of propositional resizing. (English) Zbl 07561492

Dybjer, Peter (ed.) et al., 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18–21, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 130, Article 7, 20 p. (2019).
MSC:  03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Homotopy canonicity for cubical type theory. (English) Zbl 07559277

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 11, 23 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Setoid type theory – a syntactic translation. (English) Zbl 1434.03034

Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 155-196 (2019).
MSC:  03B38 03B40 03F25
PDF BibTeX XML Cite
Full Text: DOI

Two-sided estimate of univalence domains for holomorphic mappings of the unit disk into itself keeping its diameter. (English. Russian original) Zbl 1433.30061

Russ. Math. 63, No. 7, 80-83 (2019); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2019, No. 7, 91-95 (2019).
MSC:  30C55
PDF BibTeX XML Cite
Full Text: DOI

Two-sided estimates for domains of univalence for classes of holomorphic self-maps of a disc with two fixed points. (English. Russian original) Zbl 1425.30024

Sb. Math. 210, No. 7, 1019-1042 (2019); translation from Mat. Sb. 210, No. 7, 120-144 (2019).
MSC:  30C55
PDF BibTeX XML Cite
Full Text: DOI

Inner models of univalence. (English) Zbl 1452.03035

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 11-12 (2018).
MSC:  03B38
PDF BibTeX XML Cite
Full Text: DOI

Flagged higher categories. (English) Zbl 1423.18002

Ayala, David (ed.) et al., Topology and quantum theory in interaction. NSF-CBMS regional conference in the mathematical sciences: topological and geometric methods in QFT, Montana State University, Bozeman, MT, USA, July 31 – August 4, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 718, 137-173 (2018).
MSC:  18A05 55U35 55P65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Cubical type theory: a constructive interpretation of the univalence axiom. (English) Zbl 1434.03036

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 5, 34 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Towards a cubical type theory without an interval. (English) Zbl 1434.03035

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 3, 27 p. (2018).
MSC:  03B38 55U35
PDF BibTeX XML Cite
Full Text: DOI

The real projective spaces in homotopy type theory. (English) Zbl 1452.03033

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 86, 8 p. (2017).
MSC:  03B38 55U35 55P20
PDF BibTeX XML Cite
Full Text: arXiv Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference