search result

Cover von Formalising Inductive and Coinductive Containers

Formalising Inductive and Coinductive Containers

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

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2015
Media group: LIPIcs
Cover von 13th International Conference on Typed Lambda Calculi and Applications
TLCA 2015 : July 1 - 3, 2015, Warsaw, Poland
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 38
Media group: LIPIcs
Cover von A Syntactical Approach to Weak omega-Groupoids

A Syntactical Approach to Weak omega-Groupoids

Year: 2012
Media group: ARTICLE
Cover von Dependently typed programming
Search for this author
Year: 2004
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 04381
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Synthetic 1-Categories in Directed Type Theory

Synthetic 1-Categories in Directed Type Theory

Year: 2025
Media group: LIPIcs
Cover von Types for proofs and programs
international workshop : Kloster Irsee, Germany, March 27 - 31, 1998 : selected papers
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1657
Media group: MONOGRAPHIE
Cover von Big Step Normalisation for Type Theory

Big Step Normalisation for Type Theory

Year: 2020
Media group: LIPIcs
Cover von Towards a Cubical Type Theory without an Interval

Towards a Cubical Type Theory without an Interval

Year: 2018
Media group: LIPIcs
Cover von Extending Homotopy Type Theory with Strict Equality

Extending Homotopy Type Theory with Strict Equality

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0