bibliographer - Andrew M. Pitts

bibliographer a curated TCS bibliography

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

Quotients, inductive types, and quotient inductive types Marcelo P. Fiore Andrew M. Pitts S. C. Steenkamp [github]

Polymorphism is Set Theoretic, Constructively Andrew M. Pitts [github]

A New Approach to Abstract Syntax with Variable Binding Murdoch J. Gabbay Andrew M. Pitts [github]

A co-induction principle for recursively defined domains Andrew M Pitts [github]

Modal dependent type theory and dependent right adjoints Lars Birkedal Ranald Clouston Bassel Mannaa Rasmus Ejlers Møgelberg Andrew M. Pitts Bas Spitters [github]

Library Size: 13G (5 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]