Items where Author is "Bocquet, Rafaël"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemBocquet, Rafaël and Kaposi, Ambrus and Sattler, Christian (2020) Metatheoretic proofs internally to presheaf categories. In: 26th International Conference on Types for Proofs and Programs (TYPES 2020). |