Search Results - "Homotopy"
-
1
Constructions with non-recursive higher inductive types
Published 2016Subjects: “…Homotopy type theory…”
Get full text
-
2
-
3
Extending homotopy type theory with strict equality
Published 2016Subjects: “…homotopy type theory…”
Get full text
-
4
Homotopy Analysis And Legendre Multi-Wavelets Methods For Solving Integral Equations
Published 2009Subjects: “…Homotopy theory…”
Get full text
Get full text
-
5
Truncation levels in homotopy type theory
Published 2015Subjects: “…homotopy type theory…”
Get full text
-
6
Towards a cubical type theory without an interval
Published 2017Subjects: “…homotopy type theory…”
Get full text
-
7
-
8
-
9
Spectral homotopy analysis method and composite Chebyshev finite difference method for solving integro-differential equations
Published 2015Subjects: “…Homotopy theory…”
Get full text
Get full text
-
10
-
11
Higher linear algebraic quantum field theory
Published 2022Subjects: “…Homotopy algebraic quantum field theory…”
Get full text
-
12
Univalent higher categories via complete semi-segal types
Published 2018Subjects: “…Homotopy type theory…”
Get full text
-
13
Error estimations of Homotopy perturbation method for linear integral and integro-differential equations of the third kind
Published 2016Subjects: “…Approximate method; Homotopy perturbation method; Convergence; Error estimate…”
Get full text
Get full text
-
14
Linear homotopy solution of nonlinear systems of equations in geodesy
Published 2010Subjects: Get full text
-
15
-
16
Partiality, revisited: the partiality monad as a quotient inductive-inductive type
Published 2017Subjects: “…homotopy type theory…”
Get full text
-
17
Homotopy colimits and global observables in Abelian gauge theory
Published 2015Subjects: Get full text
-
18
Higher inductive types, inductive families, and inductive-inductive types
Published 2020Subjects: “…Homotopy type theory…”
Get full text
-
19
Types with extra structure: predicates, equations, composition
Published 2024Subjects: Get full text
-
20
Notions of anonymous existence in Martin-Löf type theory
Published 2016Subjects: “…homotopy type theory…”
Get full text