176 citations
- Imperial College LondonGB100 papers
- King's College LondonGB6 papers
- University of OxfordGB6 papers
- University College LondonGB5 papers
- University of CambridgeGB5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Technical University of MunichDE4 papers
- Institute for High Energy PhysicsES3 papers
- Institute of Group AnalysisGB3 papers
- Lancaster UniversityGB3 papers
- MRC London Institute of Medical SciencesGB3 papers
- Nanjing University of Science and TechnologyCN3 papers
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Chess\_db: A framework for working with large chess game datasets
Nicos Angelopoulos, Jan Wielemaker
Chess is a two player strategic game that is embedded in classical AI culture as it was once the frontier for intelligent behaviour. There was the silent assumption that the advent…
cs.LO2022★ 2 cited
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
Pietro Di Gianantonio, Abbas Edalat, Ran Gutin
We present a simple functional programming language, called Dual PCF, that implements forward mode automatic differentiation using dual numbers in the framework of exact real numbe…
cs.LO2021
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
We study encodings of the lambda-calculus into the pi-calculus in the unexplored case of calculi with non-determinism and failures. On the sequential side, we consider lambdafail,…