search result

Cover von The Independence of Markov's Principle in Type Theory

The Independence of Markov's Principle in Type Theory

Year: 2016
Media group: LIPIcs
Cover von Constructive Higher Sheaf Models with Applications to Synthetic Mathematics

Constructive Higher Sheaf Models with Applications to Synthetic Mathematics

Year: 2026
Media group: LIPIcs
Cover von Homotopy Canonicity for Cubical Type Theory

Homotopy Canonicity for Cubical Type Theory

Year: 2019
Media group: LIPIcs
Cover von The Ackermann Award 2016

The Ackermann Award 2016

Year: 2016
Media group: LIPIcs
Cover von Non-Constructivity in Kan Simplicial Sets

Non-Constructivity in Kan Simplicial Sets

Year: 2015
Media group: LIPIcs
Cover von A Model of Type Theory in Cubical Sets

A Model of Type Theory in Cubical Sets

Year: 2014
Media group: LIPIcs
Cover von A representation of stably compact spaces, and patch topology

A representation of stably compact spaces, and patch topology

article
Year: 2003
Media group: ARTICLE
Cover von A Foundation for Synthetic Stone Duality

A Foundation for Synthetic Stone Duality

Year: 2025
Media group: LIPIcs
Cover von Constructive Remarks on Azumaya Algebra
article
Search for this author
Year: 2023
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic

A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0