REAL

Items where Author is "Bocquet, Rafaël"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Bocquet, 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).

This list was generated on Fri Mar 28 03:18:47 2025 CET.