- Computational Complexity of Polynomial Subalgebras Leonie Kayser Fri 14 March 2025
- Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos Mon 06 November 2023
- Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach Fabian Zaiser Andrzej S. Murawski Luke Ong Mon 29 May 2023
- The Cartesian Closed Bicategory of Thin Spans of Groupoids Pierre Clairambault Simon Forest Fri 28 April 2023
- A language for evaluating derivatives of functionals using automatic differentiation Pietro Di Gianantonio Abbas Edalat Ran Gutin Tue 18 April 2023
- Fixpoint operators for 2-categorical structures Zeinab Galal Fri 10 March 2023
- The Functional Machine Calculus II: Semantics Chris Barrett Willem Heijltjes Guy McCusker Tue 29 November 2022
- Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus Marcelo Fiore Thu 21 July 2022
- The Safe Lambda Calculus William Blum C. -H. Luke Ong Thu 31 March 2022
- A Survey of the Proof-Theoretic Foundations of Logic Programming Dale Miller Tue 07 September 2021
- Reachability is Tower Complete Yuxi Fu Qizhe Yang Fri 16 October 2020
- Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus Andreas Abel Christian Sattler Mon 14 September 2020
- Decomposing Probabilistic Lambda-calculi Ugo Dal Lago Giulio Guerrieri Willem Heijltjes Tue 03 March 2020
- Cubical Type Theory: a constructive interpretation of the univalence axiom Cyril Cohen Thierry Coquand Simon Huber Anders Mørtberg Mon 15 April 2019
Library Size: 13G (14 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
