activity
20112024
most citedLocomotion Policy Guided Traversability Learning using Volumetric Representations of Complex Environments

60 citations · 140 across the 13 of their papers we have counts for

collaborators
Showing 2014Show all

3 papers · 1 filter

math.LO2014

Ordered combinatory algebras and realizability

Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo +2

We consider different classes of combinatory structures related to Krivine realizability. We show, in the precise sense that they give rise to the same class of triposes, that they…

math.CT2014★ 1 cited

Characterizing partitioned assemblies and realizability toposes

Jonas Frey

We give simple characterizations of the category PAsm(A) of partitioned assemblies, and of the realizability topos RT(A) over a partial combinatory algebra A. This answers the ques…

math.CT2014★ 11 cited

A fibrational study of realizability toposes

Jonas Frey

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven v…