Showing 1–15 of 15 results
/ Date/ Name
Jan 13, 2015Programming and Reasoning with Guarded Recursion for Coinductive TypesApr 14, 2018Modal Dependent Type Theory and Dependent Right AdjointsOct 30, 2017Modular Labelled Sequent Calculi for Abstract Separation LogicsJun 16, 2016Guarded Cubical Type Theory: Path Equality for Guarded RecursionJun 30, 2016The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive TypesJan 7, 2016Guarded Dependent Type Theory with Coinductive TypesJan 14, 2015Sequent Calculus in the Topos of TreesNov 28, 2016Guarded Cubical Type TheoryOct 23, 2017Fitch-Style Modal Lambda CalculiAug 1, 2024Semantical Analysis of Intuitionistic Modal Logics between CK and IKJul 1, 2013Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended VersionJan 7, 2026Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-ThomasonNov 1, 2011Nominal Logic with Equations OnlyOct 11, 2019Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested SequentsJul 22, 2013Proof search for propositional abstract separation logics via labelled sequents