Kaposi, Ambrus and Kovács, András and Lafont, Ambroise (2020) For Finitary Induction-Induction, Induction is Enough. 25th International Conference on Types for Proofs and Programs (TYPES 2019). (In Press)
|
Text
paper.pdf Download (589kB) | Preview |
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 |
Depositing User: | Ambrus Kaposi |
Date Deposited: | 11 Sep 2020 07:56 |
Last Modified: | 03 Apr 2023 06:53 |
URI: | http://real.mtak.hu/id/eprint/112922 |
Actions (login required)
![]() |
Edit Item |