- Intrinsically Correct Algorithms and Recursive Coalgebras Cass Alexandru Henning Urbat Thorsten Wißmann Tue 31 March 2026
- A formalization of System I with type Top in Agda Agustín Séttimo Cristian Sottile Cecilia Manzino Tue 31 March 2026
- Higher-Order Bialgebraic Semantics Sergey Goncharov Stefan Milius Lutz Schrøder Stelios Tsampas Henning Urbat Tue 31 March 2026
- Nominal techniques as an Agda library Murdoch J. Gabbay Orestis Melkonian Sat 07 March 2026
- TorchLean: Formalizing Neural Networks in Lean Robert Joseph George Jennifer Cruden Xiangru Zhong Huan Zhang Anima Anandkumar Sat 28 February 2026
- Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib) Christopher Henson Fabrizio Montesi Fri 20 February 2026
- Hennessy-Milner Logic in CSLib, the Lean Computer Science Library Fabrizio Montesi Marco Peressotti Alexandre Rademaker Fri 20 February 2026
- CSLib: The Lean Computer Science Library Clark Barrett Swarat Chaudhuri Fabrizio Montesi Jim Grundy Pushmeet Kohli Leonardo de Moura Alexandre Rademaker Sorrachai Yingchareonthawornchai Thu 05 February 2026
- Layered Modal ML: Syntax and Full Abstraction Haoxuan Yin Andrzej S. Murawski C.-H. Luke Ong Thu 05 February 2026
- A Program Logic for Abstract (Hyper)Properties Paolo Baldan Roberto Bruni Francesco Ranzato Diletta Rigo Sun 01 February 2026
- Termination Analysis of Linear-Constraint Programs Amir M. Ben-Amram Samir Genaim Joel Ouaknine James Worrell Tue 27 January 2026
- An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory Gyeongwon Jeong Seonghun Park Hongseok Yang Thu 22 January 2026
- Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version) Darion Haase Kevin Batz Adrian Gallus Benjamin Lucien Kaminski Joost-Pieter Katoen Lutz Klinkenberg Tobias Winkler Thu 22 January 2026
- Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata Dominik Geißler Tobias Winkler Tue 16 December 2025
- The Functional Machine Calculus III: Control Willem Heijltjes Fri 31 October 2025
- Rod Bustall: In Memoriam J Strother Moore Gordon Plotkin David Rydeheard Don Sannella Tue 20 May 2025
- The next 700 programming languages P. J. Landin Tue 09 July 2013
- Flow diagrams, turing machines and languages with only two formation rules Corrado Bøhm Giuseppe Jacopini Sun 27 January 2013
- Abstract machines for programming language implementation Stephan Diehl Pieter Hartel Peter Sestoft Sat 29 September 2012
Library Size: 13G (19 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
