Items where Author is "Boulier, Simon"

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 Mon Mar 31 05:45:44 2025 CEST.

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.