[lkb] LKB Type Hierarchy

[Stephan Oepen]

colleagues,

Section 3.2.2 in Ulrich Callmeier's 2001 MSc thesis provides
what to me (still) seems like an accurate literature review on
this topic (BCPO embedding aka MSL completion):

  http://www.coli.uni-sb.de/~uc/thesis/thesis.pdf

gerald has published on the topic extensively, e.g. in 2001:

  http://www.aclweb.org/anthology-new/P/P01/P01-1054.pdf

what he claims about the LKB there has an interpretation
that i think is compatible with the LKB state at that time.

more recently, gerald put forward an arguably more novel
suggestion (grounded in an interesting new formalization),
for which it seems an implementation exists in ALE:

  http://www.aclweb.org/anthology-new/C/C12/C12-1051.pdf

cheers, oe


On Sep 4, 2013 1:32 PM, "Stefan Müller" <Stefan.Mueller at fu-berlin.de> wrote:
>
> Hi Glenn,
>
> I remember Ann saying that the algorithm was due to Carpenter and/or Penn, which would have some irony since it is not in TRALE and I am using the LKB to compute TRALE signatures.
>
> But maybe I got this wrong and the world is not as funny place as I always thought.
>
> If there is a source by these authors, I would like to know ...
>
> Best wishes
>
>         Stefan
>
> --
> Stefan Müller       Tel: (+49) (+30) 838 52973
>                     Fax: (+49) (030) 838 4 52973
> Institut für Deutsche und Niederländische Philologie
> Deutsche Grammatik
> Habelschwerdter Allee 45
> 14 195 Berlin
>
> http://hpsg.fu-berlin.de/~stefan/
>
> http://hpsg.fu-berlin.de/OALI/ (Open Access)
>
> http://hpsg.fu-berlin.de/Projects/CoreGram.html