Oliver Garbe

According to our database, Oliver Garbe authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis.

Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn

Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012