Items where Author is "Sestini, Filippo"

Group by: Item Type | No Grouping

Number of items: 1.

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

This list was generated on Sat Mar 15 12:51:15 2025 CET.

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.