Almost periodic functions, constructively

Get full text

Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

Get full text

An Operational Foundation for Delimited Continuations in the CPS Hierarchy

Get full text

Internalising modified realisability in constructive type theory

Get full text

Strong normalisation for applied lambda calculi

Get full text

Comparing hierarchies of total functionals

Get full text

General Recursion via Coinductive Types

Get full text

The succinctness of first-order logic on linear orders

Get full text

Linear Datalog and Bounded Path Duality of Relational Structures

Get full text

Contextual equivalence for higher-order pi-calculus revisited

Get full text

Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

Get full text

Model-Checking Problems as a Basis for Parameterized Intractability

Get full text

Labelled transition systems as a Stone space

Get full text

Facebook’s data enclave and the woes of researching social media recommendation algorithms: A reflection on methods

Get full text

Students' perception of a leaderboard-based mathematics game

Get full text

The rise of John “Q” Public: Conspiracy theories as the public sphere

Get full text

Why do I insist on buying my music when everybody knows it’s free? Ten rationales for an alternative to streaming music consumption

Get full text

Fed up: /r/antiwork and the efficacy of digital labor resistance

Get full text

ATAS - Academic Text Analysis System

Get full text

Proceso para el preprocesamiento de los datos del Índice de Precio al Consumidor

Get full text