TY  - RPRT
TI  - Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis
AU  - Boris Düdder
AU  - Oliver Garbe
AU  - Moritz Martens
AU  - Jakob Rehof
AU  - Paweł Urzyczyn
PY  - 2013
DO  - 10.4204/eptcs.121.2
UR  - https://arxiv.org/abs/1307.8203
ID  - 1307.8203
ER  -