Kaposi, Ambrus and von Raumer, Jakob (2020) A Syntax for Mutual Inductive Families. In: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020).
|
Text
LIPIcs-FSCD-2020-23.pdf Available under License Creative Commons Attribution. Download (561kB) | Preview |
Official URL: https://drops.dagstuhl.de/opus/volltexte/2020/1234...
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| 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 14:14 |
| Last Modified: | 03 Apr 2023 07:23 |
| URI: | http://real.mtak.hu/id/eprint/130767 |
Actions (login required)
 |
Edit Item |
