- Towards A Rosetta Stone of Interactive and Quantitative Semantics (Invited Talk) Pierre Clairambault Thu 26 February 2026
- Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Lutz Klinkenberg Christian Blumenthal Mingshuai Chen Darion Haase Joost-Pieter Katoen Mon 02 September 2024
- A Domain Theory for Statistical Probabilistic Programming Matthijs Vákár Ohad Kammar Sam Staton Mon 14 October 2019
- Lambda-calculus and formal language theory Sylvain Salvati Mon 05 November 2018
- Datafun: A Functional Datalog Michael Arntzenius Neelakantan R. Krishnaswami Sun 30 April 2017
- Exponentials with Infinite Multiplicities Alberto Carraro Thomas Ehrhard Antonino Salibra Thu 10 September 2015
- Outline of a mathematical theory of computation Dana Scott Tue 28 January 2014
- Weighted Relational Models of Typed Lambda-Calculi J. Laird G. Manzonetto G. McCusker M. Pagani Sat 04 January 2014
- The lattice of flow diagrams Dana Scott Mon 02 December 2013
Library Size: 13G (9 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
