Im ersten Teil dieser Arbeit wird die Theorie lokal boolescher Bereiche und bistabiler Abbildungen entwickelt. Es wird gezeigt, dass die Kategorie lokal boolescher Bereiche und bistabiler Abbildungen zur Kategorie von Curien-Lamarche Spielen und beobachtbar sequenzieller Funktionen äquivalent ist. Weiterhin zeigen wir, dass die Kategorie lokal boolescher Bereiche und bistabiler Abbildungen inverse Limiten von ω-Ketten von Einbettungs-/Projektionspaaren besitzt. Im zweiten Teil der Arbeit betrachten wir die Kategorie lokal boolescher Bereiche und bistabiler Abbildungen als Modell für funktionale Programmiersprachen: in "Bistable biorders: a sequential domain theory" hat J. Laird gezeigt, dass es in der Kategorie lokal boolescher Bereiche ein voll abstraktes Modell für eine infinitäre, sequentielle Erweiterung der funktionalen Kernsprache PCF gibt. Wir definieren SPCF∞, eine Erweiterung von Lairds Sprache um rekursive Typen, und zeigen, dass diese Sprache universell bezüglich ihres Modells in der Kategorie lokal boolescher Bereiche ist. Schließlich betrachten wir eine infinitäre Zielsprache CPS∞ für die CPS Übersetzung aus "Classical logic, continuation semantics and abstract machines" von B. Reus and T. Streicher und zeigen, dass sie universell bezüglich ihres Modells in der Kategorie lokal boolescher Bereiche ist, welches wie Dana Scotts D∞ mit D = O = {⊥,⊤} konstruiert ist.