REAL
MagyarClear Cookie - decide language by browser settings

Items where Author is "Sattler, Christian"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 2.

Article

Altenkirch, Thorsten and Boulier, Simon and Kaposi, Ambrus and Sattler, Christian and Sestini, Filippo (2021) Constructing a universe for the setoid model. LECTURE NOTES IN COMPUTER SCIENCE, 12650. pp. 1-21. ISSN 0302-9743

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 Sat Apr 20 14:02:10 2024 CEST.
EPrints Logo
Repository of the Academy's Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.