Definition
Let X be a GO-space (i.e., a subspace of a linearly ordered space), and let p is a point in X. X is said to be left locally compact at p iff p is a point of local compactness in .
Remark
Reference
M. Granado and G. Gruenhage, Baireness of C_k(X) for ordered X, Comment. Math. Univ. Carolinae 47,1 (2006) 103-111.