Olle Fredriksson

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Nash Equilibrium

Propositional Dynamic Logic

Top Venues

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Olle Fredriksson, Dan R. Ghica, Bertram Wheen
Towards native higher-order remote procedure calls. IFL (2014)
Olle Fredriksson, Dan R. Ghica
Krivine nets: a semantic foundation for distributed execution. ICFP (2014)
Olle Fredriksson
Distributed call-by-value machines. CoRR (2014)
Olle Fredriksson, Dan R. Ghica
Abstract Machines for Game Semantics, Revisited. LICS (2013)
Olle Fredriksson, Dan R. Ghica
Abstract machines for game semantics, revisited CoRR (2013)
Olle Fredriksson, Dan R. Ghica
Seamless Distributed Computing from the Geometry of Interaction. TGC (2012)