Bram Geron

According to our database, Bram Geron authored at least 4 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Defined algebraic operations.

Bram Geron

PhD thesis, 2020

2016

Iteration and Labelled Iteration.

Bram Geron, Paul Blain Levy

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

2014

A type system for Continuation Calculus.

Herman Geuvers, Wouter Geraedts, Bram Geron, Judith van Stegeren

Proceedings of the Proceedings Fifth International Workshop on Classical Logic and Computation, 2014

2013

Continuation calculus.

Bram Geron, Herman Geuvers

Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013