bibliographer - Klaus Keimel

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Mixed powerdomains for probability and nondeterminism Klaus Keimel Gordon Plotkin [github]

D-completions and the d-topology Klaus Keimel Jimmie D. Lawson [github]

Semantic Domains for Combining Probability and Non-Determinism Regina Tix Klaus Keimel Gordon Plotkin [github]

The way-below relation of function spaces over semantic domains Thomas Erker Martín Hötzel Escardó Klaus Keimel [github]

Library Size: 13G (4 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]