bibliographer - Dan R. Ghica

bibliographer a curated TCS bibliography

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

A compositional theory of digital circuits Dan R. Ghica George Kaye David Sprunger [github]

The far side of the cube Dan R. Ghica [github]

Abstract machines for game semantics, revisited Olle Fredriksson Dan R. Ghica [github]

Reasoning about Idealized ALGOL Using Regular Languages Dan R. Ghica Guy McCusker [github]

Bounded Linear Types in a Resource Semiring Dan R. Ghica Alex I. Smith [github]

A System-Level Game Semantics Dan R. Ghica Nikos Tzevelekos [github]

The regular-language semantics of second-order idealized ALGOL Dan R. Ghica Guy McCusker [github]

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

Applications of Game Semantics: From Program Analysis to Hardware Synthesis Dan R. Ghica [github]

Slot games Dan R. Ghica [github]

Geometry of synthesis Dan R. Ghica [github]

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

Functorial String Diagrams for Reverse-Mode Automatic Differentiation Mario Alvarez-Picallo Dan R. Ghica David Sprunger Fabio Zanasi [github]

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

[show logs] [hide logs]