Items where Author is "Sestini, Filippo"
Group by: Item Type | No Grouping Jump to: Article Number of items: 1. ArticleAltenkirch, 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 |