bibliographer - Achim Jung

bibliographer a curated TCS bibliography

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

A New Characterization of Lambda Definability Achim Jung Jerzy Tiuryn [github]

QRB, QFS, and the Probabilistic Powerdomain Jean Goubault-Larrecq Achim Jung [github]

The Troublesome Probabilistic Powerdomain Achim Jung Regina Tix [github]

Categorical semantics of digital circuits Dan R. Ghica Achim Jung [github]

Diagrammatic Semantics for Digital Circuits Dan R. Ghica Achim Jung Aliaume Lopez [github]

Library Size: 13G (5 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]