search result

Cover von Type Theory Unchained

Type Theory Unchained

Extending Agda with User-Defined Rewrite Rules
Year: 2020
Media group: LIPIcs
Cover von Dependently Typed Languages in Statix

Dependently Typed Languages in Statix

Year: 2023
Media group: OASICS
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2022
Media group: LIPIcs
Cover von LIPIcs, Volume 239, TYPES 2021, Complete Volume

LIPIcs, Volume 239, TYPES 2021, Complete Volume

Year: 2022
Media group: LIPIcs
Cover von 27th International Conference on Types for Proofs and Programs
TYPES 2021 : June 14 - 18, 2021, Leiden, The Netherlands (Virtual Conference)
Search for this author
Year: 2022
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 239
Media group: LIPIcs
OPEN V 11.1.0.0