19 citations · 74 across the 16 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
math.LO2013★ 3 cited
A Report on Realizability
Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe
Besides recalling the basic definitions of Realizability Lattices, Abstract Krivine Structures, Ordered Combinatory Algebras and Tripos and reviewing its relationships, we propose…
math.CT2013★ 19 cited
Presheaf models of quantum computation: an outline
Octavio Malherbe, Philip Scott, Peter Selinger
This paper outlines the construction of categorical models of higher-order quantum computation. We construct a concrete denotational semantics of Selinger and Valiron's quantum lam…
math.CT2013★ 3 cited
Categorical models of computation: partially traced categories and presheaf models of quantum computation
Octavio Malherbe
This dissertation has two main parts. The first part deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representati…