Synthesis and alternating automata over real time by Jenkins, M, Mark Jenkins

Subjects:

Canonicity and homotopy canonicity for cubical type theory by Thierry Coquand, Simon Huber, Christian Sattler

Subjects: “…mathematics - logic…”
Get full text

On Small Types in Univalent Foundations by Tom de Jong, Martín Hötzel Escardó

Subjects: Get full text

On the relative proof complexity of deep inference via atomic flows by Anupam Das

Subjects: Get full text

A modular construction of type theories by Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger, Gabriel Hondet, François Thiré

Subjects: Get full text

Axiomatization of betweenness in order-theoretic trees by Bruno Courcelle

Subjects: Get full text

Admissibility in Finitely Generated Quasivarieties by George Metcalfe, Christoph Röthlisberger

Subjects: Get full text

Dynamic Cantor Derivative Logic by David Fernández-Duque, Yoàv Montacute

Subjects: “…mathematics - logic…”
Get full text

Tree-Automatic Well-Founded Trees by Martin Huschenbett, Alexander Kartzow, Jiamou Liu, Markus Lohrey

Subjects: Get full text

Deciding Equations in the Time Warp Algebra by Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi

Subjects: Get full text

The logical strength of B\"uchi's decidability theorem by Leszek Kołodziejczyk, Henryk Michalewski, Pierre Pradic, Michał Skrzypczak

Subjects: Get full text

Clause Set Cycles and Induction by Stefan Hetzl, Jannik Vierling

Subjects: Get full text

Overlap Algebras: a Constructive Look at Complete Boolean Algebras by Francesco Ciraulo, Michele Contente

Subjects: Get full text

A Galois connection between Turing jumps and limits by Vasco Brattka

Subjects: “…mathematics - logic…”
Get full text

Some observations on the logical foundations of inductive theorem proving by Stefan Hetzl, Tin Lok Wong

Subjects: Get full text

Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees by Eike Neumann

Subjects: “…mathematics - logic…”
Get full text

Undecidable First-Order Theories of Affine Geometries by Antti Kuusisto, Jeremy Meyers, Jonni Virtema

Subjects: Get full text

On noncommutative extensions of linear logic by Sergey Slavnov

Subjects: Get full text

The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$ by Dag Normann

Subjects: Get full text

Bounded variation and the strength of Helly's selection theorem by Alexander P. Kreuzer

Subjects: “…mathematics - logic…”
Get full text