Search Results - "Homotopy"

Refine Results
  1. 1
    Constructions with non-recursive higher inductive types

    Constructions with non-recursive higher inductive types by Kraus, Nicolai

    Published 2016
    Subjects: “…Homotopy type theory…”
    Get full text
  2. 2
    Modified homotopy perturbation method for integro-differential and hypersingular integral equations

    Modified homotopy perturbation method for integro-differential and hypersingular integral equations by Zulkarnain, Fatimah Samihah

    Published 2018
    Subjects: Get full text
    Get full text
  3. 3
    Extending homotopy type theory with strict equality

    Extending homotopy type theory with strict equality by Altenkirch, Thorsten, Capriotti, Paolo, Nicolai, Kraus

    Published 2016
    Subjects: “…homotopy type theory…”
    Get full text
  4. 4
    Homotopy Analysis And Legendre Multi-Wavelets Methods For Solving Integral Equations

    Homotopy Analysis And Legendre Multi-Wavelets Methods For Solving Integral Equations by Vahdati, Saeed

    Published 2009
    Subjects: “…Homotopy theory…”
    Get full text
    Get full text
  5. 5
    Truncation levels in homotopy type theory

    Truncation levels in homotopy type theory by Kraus, Nicolai

    Published 2015
    Subjects: “…homotopy type theory…”
    Get full text
  6. 6
    Towards a cubical type theory without an interval

    Towards a cubical type theory without an interval by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2017
    Subjects: “…homotopy type theory…”
    Get full text
  7. 7
    Twisted Cubes and their Applications in Type Theory

    Twisted Cubes and their Applications in Type Theory by Pinyo, Gun

    Published 2023
    Subjects: Get full text
  8. 8
    Quotient types in type theory

    Quotient types in type theory by Li, Nuo

    Published 2015
    Subjects: Get full text
  9. 9
    Spectral homotopy analysis method and composite Chebyshev finite difference method for solving integro-differential equations

    Spectral homotopy analysis method and composite Chebyshev finite difference method for solving integro-differential equations by Atabakan, Zohreh Pashazadeh

    Published 2015
    Subjects: “…Homotopy theory…”
    Get full text
    Get full text
  10. 10
    Type theory in a type theory with quotient inductive types

    Type theory in a type theory with quotient inductive types by Kaposi, Ambrus

    Published 2017
    Subjects: Get full text
  11. 11
    Higher linear algebraic quantum field theory

    Higher linear algebraic quantum field theory by Bruinsma, Simen

    Published 2022
    Subjects: “…Homotopy algebraic quantum field theory…”
    Get full text
  12. 12
    Univalent higher categories via complete semi-segal types

    Univalent higher categories via complete semi-segal types by Capriotti, Paolo, Kraus, Nicolai

    Published 2018
    Subjects: “…Homotopy type theory…”
    Get full text
  13. 13
    Error estimations of Homotopy perturbation method for linear integral and integro-differential equations of the third kind

    Error estimations of Homotopy perturbation method for linear integral and integro-differential equations of the third kind by Eshkuvatov, Zainidin K., Zulkarnain, F. S., Nik Long, Nik Mohd Asri, Muminov, Zahriddin

    Published 2016
    Subjects: “…Approximate method; Homotopy perturbation method; Convergence; Error estimate…”
    Get full text
    Get full text
  14. 14
    Linear homotopy solution of nonlinear systems of equations in geodesy

    Linear homotopy solution of nonlinear systems of equations in geodesy by Palancz, B., Awange, Joseph, Zaletnyik, P., Lewis, R.

    Published 2010
    Subjects: Get full text
  15. 15
    Type theory in type theory using quotient inductive types

    Type theory in type theory using quotient inductive types by Altenkirch, Thorsten, Kaposi, Ambrus

    Published 2016
    Subjects: Get full text
  16. 16
    Partiality, revisited: the partiality monad as a quotient inductive-inductive type

    Partiality, revisited: the partiality monad as a quotient inductive-inductive type by Altenkirch, Thorsten, Danielsson, Nils Anders, Kraus, Nicolai

    Published 2017
    Subjects: “…homotopy type theory…”
    Get full text
  17. 17
    Homotopy colimits and global observables in Abelian gauge theory

    Homotopy colimits and global observables in Abelian gauge theory by Benini, Marco, Schenkel, Alexander, Szabo, Richard J.

    Published 2015
    Subjects: Get full text
  18. 18
    Higher inductive types, inductive families, and inductive-inductive types

    Higher inductive types, inductive families, and inductive-inductive types by von Raumer, Jakob

    Published 2020
    Subjects: “…Homotopy type theory…”
    Get full text
  19. 19
    Types with extra structure: predicates, equations, composition

    Types with extra structure: predicates, equations, composition by Hewer, Brandon

    Published 2024
    Subjects: Get full text
  20. 20
    Notions of anonymous existence in Martin-Löf type theory

    Notions of anonymous existence in Martin-Löf type theory by Kraus, Nicolai, Escardo, Martin, Coquand, Thierry, Altenkirch, Thorsten

    Published 2016
    Subjects: “…homotopy type theory…”
    Get full text

Search Tools: