bibliographer - Guy McCusker

bibliographer a curated TCS bibliography

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

The Functional Machine Calculus II: Semantics Chris Barrett Willem Heijltjes Guy McCusker [github]

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

Games and Full Abstraction for FPC Guy McCusker [github]

Call-by-value games Samson Abramsky Guy McCusker [github]

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

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

[show logs] [hide logs]