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
|
Text
paper.pdf Download (409kB) | Preview |
Official URL: http://doi.org/10.1007/978-3-030-71995-1_1
Item Type: | Article |
---|---|
Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás |
Depositing User: | Ambrus Kaposi |
Date Deposited: | 27 Sep 2021 11:17 |
Last Modified: | 03 Apr 2023 07:23 |
URI: | http://real.mtak.hu/id/eprint/130762 |
Actions (login required)
![]() |
Edit Item |