bibliographer - Jan Willem Klop

bibliographer a curated TCS bibliography

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

An Introduction to the Clocked Lambda Calculus Jørg Endrullis Dimitri Hendriks Jan Willem Klop Andrew Polonsky [github]

Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples Joerg Endrullis Clemens Grabmayer Dimitri Hendriks Jan Willem Klop Vincent van Oostrom [github]

Applications of infinitary lambda calculus Henk Barendregt Jan Willem Klop [github]

Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting Joerg Endrullis Clemens Grabmayer Dimitri Hendriks Jan Willem Klop [github]

Transfinite Reductions in Orthogonal Term Rewriting Systems Richard Kennaway Jan Willem Klop Ronan Sleep Fer-Jan de Vries [github]

Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract) Richard Kennaway Jan Willem Klop M. Ronan Sleep Fer-Jan de Vries [github]

Infinitary Normalization Jan Willem Klop Roel de Vrijer [github]

Highlights in Infinitary Rewriting and Lambda Calculus Jørg Endrullis Dimitri Hendriks Jan Willem Klop [github]

More Problems in Rewriting Nachum Dershowitz Jean-Pierre Jouannaud Jan Willem Klop [github]

EQUATIONAL TERM GRAPH REWRITING Zena M. Ariola Jan Willem Klop [github]

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

[show logs] [hide logs]