search result

Cover von Higher Inductive Type Eliminators Without Paths

Higher Inductive Type Eliminators Without Paths

Year: 2020
Media group: LIPIcs
Cover von 18th International Workshop on Types for Proofs and Programs
September 8 - 11, 2011, Bergen, Norway
Search for this author
Year: 2013
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 19
Media group: LIPIcs
OPEN V 11.1.0.0