Theorem. 3.10.2 Topology via Logic [WBA7]

Let $A$ be a lattice, then $A$ is a frame iff it is a complete Heyting algebra. See Topology via logic

Also check Theorem 3.5.2, that a frame is a complete lattice and hence has infinite meets.