Predicative aspects of order theory in univalent foundations

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Authors

Colleges, School and Institutes

Bibliographic note

Final Version of Record not yet available as of 17/06/2021.

Details

Original languageEnglish
Title of host publication6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
Publication statusAccepted/In press - 19 Apr 2021
Event6th International Conference on Formal Structures for Computation and Deduction
-
Duration: 17 Jul 202124 Jul 2021
https://fscd2021.dc.uba.ar/

Publication series

NameLIPIcs: Leibniz International Proceedings in Informatics
PublisherSchloss Dagstuhl
Volume195
ISSN (Electronic)1868-8969

Conference

Conference6th International Conference on Formal Structures for Computation and Deduction
Abbreviated titleFSCD 2021
Period17/07/2124/07/21
Internet address