search result

Cover von Quantitative Polynomial Functors

Quantitative Polynomial Functors

Year: 2022
Media group: LIPIcs
Cover von Quantitative Polynomial Functors (Early Ideas)

Quantitative Polynomial Functors (Early Ideas)

Year: 2021
Media group: LIPIcs
Cover von Generalized Decidability via Brouwer Trees

Generalized Decidability via Brouwer Trees

Year: 2026
Media group: LIPIcs
Cover von Connecting Constructive Notions of Ordinals in Homotopy Type Theory

Connecting Constructive Notions of Ordinals in Homotopy Type Theory

Year: 2021
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2018
Media group: LIPIcs
Cover von 23rd International Conference on Types for Proofs and Programs
TYPES 2017 : May 29 - June 1, 2017, Budapest, Hungary
Search for this author
Year: 2018
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 104
Media group: LIPIcs
Cover von Variations on Inductive-Recursive Definitions

Variations on Inductive-Recursive Definitions

Year: 2017
Media group: LIPIcs
Cover von Models for Polymorphism over Physical Dimension

Models for Polymorphism over Physical Dimension

Year: 2015
Media group: LIPIcs
OPEN V 11.1.0.0