:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Felicissimo, Thiago
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2307.08523
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Sharing proofs with predicative theories through universe-polymorphic elaboration
por: Felicissimo, Thiago, et al.
Publicado: (2023)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
por: Spadetto, Matteo
Publicado: (2023)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
por: de Jong, Tom, et al.
Publicado: (2026)

Compositional pre-processing for automated reasoning in dependent type theory
por: Blot, Valentin, et al.
Publicado: (2022)

Formalization of dependent type theory: The example of CaTT
por: Benjamin, Thibaut
Publicado: (2021)

Normalization for multimodal type theory
por: Gratzer, Daniel
Publicado: (2023)

Controlling unfolding in type theory
por: Gratzer, Daniel, et al.
Publicado: (2022)

Unifying cubical and multimodal type theory
por: Aagaard, Frederik Lerbjerg, et al.
Publicado: (2022)

Directed type theory, with a twist
por: Rivera, Fernando Rafael Chu, et al.
Publicado: (2026)

Formalizing two-level type theory with cofibrant exo-nat
por: Uskuplu, Elif
Publicado: (2023)

Homotopy type theory as a language for diagrams of $\infty$-logoses
por: Uemura, Taichi
Publicado: (2022)

Classifying covering types in homotopy type theory
por: Mimram, Samuel, et al.
Publicado: (2025)

A topological counterpart of well-founded trees in dependent type theory
por: Maietti, Maria Emilia, et al.
Publicado: (2023)

Yet another cubical type theory, but via a semantic approach
por: Kapulkin, Chris, et al.
Publicado: (2025)

Eliminating reversals from cubical type theories
por: Cavallo, Evan, et al.
Publicado: (2026)

Normal forms in cubical type theory
por: Huang, Xu
Publicado: (2026)

A dependently-typed calculus of event telicity and culminativity
por: Kovalev, Pavel, et al.
Publicado: (2025)

Canonical bidirectional typechecking
por: Mihejevs, Zanzi, et al.
Publicado: (2025)

Frex: dependently-typed algebraic simplification
por: Allais, Guillaume, et al.
Publicado: (2023)

Semantics of multimodal adjoint type theory
por: Shulman, Michael
Publicado: (2023)

Hypercubical manifolds in homotopy type theory
por: Mimram, Samuel, et al.
Publicado: (2025)

Bijective proofs for Eulerian numbers of types B and D
por: Santocanale, Luigi
Publicado: (2021)

Delooping presented groups in homotopy type theory
por: Champin, Camil, et al.
Publicado: (2024)

List types for resource aware languages: an implicit name approach
por: Ghilezan, Silvia, et al.
Publicado: (2021)

Extensional concepts in intensional type theory, revisited
por: Kapulkin, Chris, et al.
Publicado: (2023)

A concrete model for a typed linear algebraic lambda calculus
por: Díaz-Caro, Alejandro, et al.
Publicado: (2018)

Extracting efficient exact real number computation from proofs in constructive type theory
por: Konečný, Michal, et al.
Publicado: (2022)

Central H-spaces and banded types
por: Buchholtz, Ulrik, et al.
Publicado: (2023)

A type theory for invertibility in weak $ω$-categories
por: Benjamin, Thibaut, et al.
Publicado: (2026)

The $\infty$-category of $\infty$-categories in simplicial type theory
por: Gratzer, Daniel, et al.
Publicado: (2026)

An extended type system with lambda-typed lambda-expressions (extended version)
por: Weber, Matthias
Publicado: (2018)

Delooping cyclic groups with lens spaces in homotopy type theory
por: Mimram, Samuel, et al.
Publicado: (2024)

Monoidal weak omega-categories as models of a type theory
por: Benjamin, Thibaut
Publicado: (2021)

Globular weak $ω$-categories as models of a type theory
por: Benjamin, Thibaut, et al.
Publicado: (2021)

Transpension: The Right Adjoint to the Pi-type
por: Nuyts, Andreas, et al.
Publicado: (2020)

The Size-Change Principle for Mixed Inductive and Coinductive types
por: Hyvernat, Pierre
Publicado: (2024)

Bringing closure to theory combination properties
por: Toledo, Guilherme V., et al.
Publicado: (2026)

Undecidability of theories of semirings with fixed points
por: Das, Anupam, et al.
Publicado: (2025)

Reduction Free Normalisation for a proof irrelevant type of propositions
por: Coquand, Thierry
Publicado: (2021)

Global types and event structure semantics for asynchronous multiparty sessions
por: Castellani, Ilaria, et al.
Publicado: (2021)