bibliographer - Frank Pfenning

bibliographer a curated TCS bibliography

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

Substructural Parametricity C.~B. Aberlé Chris Martens Frank Pfenning [github]

Single axioms in the implicational propositional calculus Frank Pfenning [github]

Lecture notes on cut elimination Frank Pfenning [github]

Lecture Notes on Cut Elimination Frank Pfenning [github]

Substructural Proofs as Automata Henry DeYoung Frank Pfenning [github]

Primitive recursion for higher-order abstract syntax Carsten Schurmann Joelle Despeyroux Frank Pfenning [github]

A Linear Logical Framework Iliano Cervesato Frank Pfenning [github]

Session Types as Intuitionistic Linear Propositions Luís Caires Frank Pfenning [github]

Inductively defined types in the Calculus of Constructions Frank Pfenning Christine Paulin-Mohring [github]

Linear logical relations and observational equivalences for session-based concurrency Jorge A. Pérez Luís Caires Frank Pfenning Bernardo Toninho [github]

A judgmental reconstruction of modal logic FRANK PFENNING ROWAN DAVIES [github]

Dependent types in practical programming Hongwei Xi Frank Pfenning [github]

Manifest sharing with session types Stephanie Balzer Frank Pfenning [github]

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

[show logs] [hide logs]