Finite combinatory logic with intersection types (extended version)

von Rehof, Jakob
Veröffentlicht 2011

Cloud computing for logistics

Veröffentlicht 2015

Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis

von Schéfer, Tristan
Veröffentlicht in International Workshop on the Algorithmic Foundations of Robotics (15. : 2022 : College Park) Algorithmic foundations of robotics XV (2023)

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practi...

Veröffentlicht 2008

Intersection type matching and bounded combinatory logic (extended version)

Veröffentlicht 2012

Bounded combinatory logic (extended version)

Veröffentlicht 2012

Using inhabitation in bounded combinatory logic with intersection types for composition synthesis (extended version)

Veröffentlicht 2012