bibliographer - Willem Heijltjes

bibliographer a curated TCS bibliography

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

The Functional Machine Calculus III: Control Willem Heijltjes [github]

Quantitative Types for the Functional Machine Calculus Willem Heijltjes [github]

The Functional Machine Calculus III: Choice (Early Announcement) Willem Heijltjes [github]

The Relational Machine Calculus Chris Barrett Daniel Castle Willem Heijltjes [github]

The Functional Machine Calculus Willem Heijltjes [github]

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

A deep quantitative type system Giulio Guerrieri Willem Heijltjes Joseph Paulus [github]

Decomposing Probabilistic Lambda-calculi Ugo Dal Lago Giulio Guerrieri Willem Heijltjes [github]

No proof nets for MLL with units Willem Heijltjes Robin Houston [github]

Atomic lambda-calculus : a typed lambda-calculus with explicit sharing Tom Gundersen Willem Heijltjes Michel Parigot [github]

Conflict nets Dominic Hughes Willem Heijltjes [github]

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

[show logs] [hide logs]