×

Found 547 Documents (Results 1–100)

For the metatheory of type theory, internal sconing is enough. (English) Zbl 1548.03020

Gaboardi, Marco (ed.) et al., 8th international conference on formal structures for computation and deduction, FSCD 2023, Rome, Italy, July 3–6, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 260, Article 18, 23 p. (2023).
MSC:  03B38

Homotopy type theory as internal languages of diagrams of \(\infty\)-logoses. (English) Zbl 1548.03022

Gaboardi, Marco (ed.) et al., 8th international conference on formal structures for computation and deduction, FSCD 2023, Rome, Italy, July 3–6, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 260, Article 5, 19 p. (2023).

The BFK-gluing formula for zeta-determinants and the conformal rescaling of a metric. (English) Zbl 1501.58018

Gesztesy, Fritz (ed.) et al., From operator theory to orthogonal polynomials, combinatorics, and number theory. A volume in honor of Lance Littlejohn’s 70th birthday. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 285, 281-303 (2021).
Full Text: DOI

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field