:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Nuyts, Andreas, Devriese, Dominique
Format:	Preprint
Published:	2020
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2008.08533
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Transpension Type: Technical Report
by: Nuyts, Andreas
Published: (2020)

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
by: Ceulemans, Joris, et al.
Published: (2024)

Nominal Type Theory by Nullary Internal Parametricity
by: Van Muylder, Antoine, et al.
Published: (2025)

Proof Nets for PiL (Full Version)
by: Acclavio, Matteo, et al.
Published: (2026)

Ordered Adjoint Logic (Extended Version)
by: Roshal, Sophia, et al.
Published: (2026)

Adjoint Natural Deduction (Extended Version)
by: Jang, Junyoung, et al.
Published: (2024)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
by: Komel, Anja Petković, et al.
Published: (2025)

Types, equations, dimensions and the Pi theorem
by: Botta, Nicola, et al.
Published: (2023)

Wiring the Pi-calculus to Denotational Semantics
by: Sakayori, Ken, et al.
Published: (2026)

Wadge degrees of $Δ^0_2$ omega-powers
by: Finkel, Olivier, et al.
Published: (2024)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
by: Jang, Junyoung, et al.
Published: (2024)

Functional Array Programming in an Extended Pi-Calculus
by: Hüttel, Hans, et al.
Published: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
by: Lyon, Tim S., et al.
Published: (2023)

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

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

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

Checking the HAL Interface Specification Continuously, Right from the Start
by: Bentele, Manuel, et al.
Published: (2025)

Complex Bounded Operators in Isabelle/HOL
by: Unruh, Dominique, et al.
Published: (2025)

Quantum references
by: Unruh, Dominique
Published: (2021)

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

PiShield: A PyTorch Package for Learning with Requirements
by: Stoian, Mihaela Cătălina, et al.
Published: (2024)

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

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

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

Generic bidirectional typing for dependent type theories
by: Felicissimo, Thiago
Published: (2023)

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

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

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

Controlling unfolding in type theory
by: Gratzer, Daniel, et al.
Published: (2022)

Normalization for multimodal type theory
by: Gratzer, Daniel
Published: (2023)

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

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

Bayesian Inference in Quantum Programs
by: Gehnen, Christina, et al.
Published: (2025)

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

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

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

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

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

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

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
by: Affeldt, Reynald, et al.
Published: (2023)