bibliographer - Steffen van Bakel

bibliographer a curated TCS bibliography

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

Complete restrictions of the intersection type discipline Steffen van Bakel [github]

Intersection type disciplines in lambda calculus and applicative term rewriting systems Steffen van Bakel [github]

Intersection type assignment systems Steffen van Bakel [github]

Strict intersection types for the Lambda Calculus Steffen van Bakel [github]

The heart of intersection type assignment: Normalisation proofs revisited Steffen van Bakel [github]

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

[show logs] [hide logs]