The following pages link to Achim Jung (Q283747):
Displaying 46 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- QRB, QFS, and the probabilistic powerdomain (Q283758) (← links)
- Convergence of preference functions (Q388149) (← links)
- (Q454387) (redirect page) (← links)
- Priestley duality for bilattices (Q454389) (← links)
- A bitopological point-free approach to compactifications (Q554414) (← links)
- Cartesian closed categories of algebraic cpos (Q584381) (← links)
- The probabilistic powerdomain for stably compact spaces (Q703479) (← links)
- A logical approach to stable domains (Q859843) (← links)
- A Hofmann-Mislove theorem for bitopological spaces (Q941428) (← links)
- Using powerdomains to generalize relational databases (Q1183586) (← links)
- Coherence and consistency in domains (Q1262787) (← links)
- Uniform approximation of topological spaces (Q1295362) (← links)
- Bitopology and four-valued logic (Q1744388) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- All Cartesian closed categories of quasicontinuous domains consist of domains (Q2355690) (← links)
- Quotients of d-frames (Q2423832) (← links)
- A note on coherence of dcpos (Q2630456) (← links)
- The dependent product construction in various categories of domains (Q2644752) (← links)
- Linear types and approximation (Q2709786) (← links)
- (Q2844074) (← links)
- (Q2851323) (← links)
- Four-valued modal logic: Kripke semantics and duality (Q2987046) (← links)
- (Q3130546) (← links)
- Non-involutive twist-structures (Q3386908) (← links)
- (Q3597351) (← links)
- (Q3797244) (← links)
- (Q3812427) (← links)
- (Q3997287) (← links)
- (Q4222769) (← links)
- (Q4222892) (← links)
- (Q4222969) (← links)
- (Q4265614) (← links)
- (Q4281476) (← links)
- (Q4281477) (← links)
- (Q4373424) (← links)
- (Q4411825) (← links)
- Free constructions and coproducts of d-frames (Q4580210) (← links)
- Stably Compact Spaces and Closed Relations (Q4917058) (← links)
- Continuous Domain Theory in Logical Form (Q4922080) (← links)
- (Q5079763) (← links)
- Diagrammatic Semantics for Digital Circuits. (Q5111192) (← links)
- (Q5206547) (← links)
- A Hofmann-Mislove theorem for Bitopological Spaces (Q5262937) (← links)
- Kripke Semantics for Modal Bilattice Logic (Q5271081) (← links)
- Presenting Dcpos and Dcpo Algebras (Q5415639) (← links)
