64 citations · 67 across the 2 of their papers we have counts for
5 papers
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)
Cristina Matache, Sean Moss, Sam Staton
We study concrete sheaf models for a call-by-value higher-order language with recursion. Our family of sheaf models is a generalization of many examples from the literature, such a…
Recursion and Sequentiality in Categories of Sheaves
Cristina Matache, Sean Moss, Sam Staton
We present a fully abstract model of a call-by-value language with higher-order functions, recursion and natural numbers, as an exponential ideal in a topos. Our model is inspired…
Dialectica models of type theory
Sean K. Moss, Tamara von Glehn
We present two Dialectica-like constructions for models of intensional Martin-Löf type theory based on Gödel's original Dialectica interpretation and the Diller-Nahm variant, bring…
Size and Shape Constraints of (486958) Arrokoth from Stellar Occultations
Marc W. Buie, Simon B. Porter, Peter Tamblyn +130
We present the results from four stellar occultations by (486958) Arrokoth, the flyby target of the New Horizons extended mission. Three of the four efforts led to positive detecti…
Denotational validation of higher-order Bayesian inference
Adam Ścibior, Ohad Kammar, Matthijs Vákár +7
We present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inferenc…