Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Get full text

A Cubical Language for Bishop Sets

Get full text

Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

Get full text

Higher Order Automatic Differentiation of Higher Order Functions

Get full text

The Big-O Problem

Get full text

A Scalable Algorithm for Decentralized Actor Termination Detection

Get full text

BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs

Get full text

Sequential Relational Decomposition

Get full text

Hilbert's Tenth Problem in Coq (Extended Version)

Get full text

Verified Approximation Algorithms

Get full text

Infinite Probabilistic Databases

Get full text

A tier-based typed programming language characterizing Feasible Functionals

Get full text

Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)

Get full text

Proof Theory of Riesz Spaces and Modal Riesz Spaces

Get full text

Reachability and liveness in parametric timed automata

Get full text

Fixed Points Theorems for Non-Transitive Relations

Get full text

Duality for powerset coalgebras

Get full text

Canonicity and homotopy canonicity for cubical type theory

Get full text

Residuality and Learning for Nondeterministic Nominal Automata

Get full text

Optimizing tree decompositions in MSO

Get full text