bibliographer - Henk Barendregt

bibliographer a curated TCS bibliography

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

Lambda terms for natural deduction, sequent calculus and cut elimination Henk Barendregt Silvia Ghilezan [github]

Introduction to Generalized Type Systems Henk Barendregt [github]

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

Types in lambda calculi and programming languages Henk Barendregt Kees Hemerik [github]

Lambda Calculi with Types Henk Barendregt [github]

A Filter Lambda Model and the Completeness of Type Assignment Henk Barendregt Mario Coppo Mariangiola Dezani-Ciancaglini [github]

Loader and Urzyczyn Are Logically Related Sylvain Salvati Giulio Manzonetto Mai Gehrke Henk Barendregt [github]

Proofs of Correctness in Mathematics and Industry Henk Barendregt [github]

Autarkic Computations in Formal Proofs Henk Barendregt Erik Barendsen [github]

The challenge of computer mathematics Henk Barendregt Freek Wiedijk [github]

A filter lambda model and the completeness of type assignment Henk Barendregt Mario Coppo Mariangiola Dezani-Ciancaglini [github]

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

[show logs] [hide logs]