LIPIcs, Volume 269, TYPES 2022

Delia Kesner and Pierre-Marie Pédrot LIPIcs, Volume 269, TYPES 2022, Complete Volume 10.4230/LIPIcs.TYPES.2022
Delia Kesner and Pierre-Marie Pédrot Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TYPES.2022.0
Dominic P. Mulligan All Watched Over by Machines of Loving Grace 10.4230/LIPIcs.TYPES.2022.1
Herman Geuvers and Tonny Hurkens Classical Natural Deduction from Truth Tables 10.4230/LIPIcs.TYPES.2022.2
Andrea Colledan and Ugo Dal Lago On Dynamic Lifting and Effect Typing in Circuit Description Languages 10.4230/LIPIcs.TYPES.2022.3
Emilie Grienenberger Expressing Ecumenical Systems in the λΠ-Calculus Modulo Theory 10.4230/LIPIcs.TYPES.2022.4
Luca Padovani On the Fair Termination of Client-Server Sessions 10.4230/LIPIcs.TYPES.2022.5
Philipp Stassen, Daniel Gratzer, and Lars Birkedal {mitten}: A Flexible Multimodal Proof Assistant 10.4230/LIPIcs.TYPES.2022.6
Nathan Mull An Irrelevancy-Eliminating Translation of Pure Type Systems 10.4230/LIPIcs.TYPES.2022.7
Fábio Reis, Sandra Alves, and Mário Florido Linear Rank Intersection Types 10.4230/LIPIcs.TYPES.2022.8
Felix Bradley and Zhaohui Luo A Metatheoretic Analysis of Subtype Universes 10.4230/LIPIcs.TYPES.2022.9
Thorsten Altenkirch, Ambrus Kaposi, Artjoms Šinkarovs, and Tamás Végh The Münchhausen Method in Type Theory 10.4230/LIPIcs.TYPES.2022.10
Catherine Dubois, Nicolas Magaud, and Alain Giorgetti Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families 10.4230/LIPIcs.TYPES.2022.11
Amélie Ledein, Valentin Blot, and Catherine Dubois A Semantics of 𝕂 into Dedukti 10.4230/LIPIcs.TYPES.2022.12
Marc Bezem, Thierry Coquand, Peter Dybjer, and Martín Escardó Type Theory with Explicit Universe Polymorphism 10.4230/LIPIcs.TYPES.2022.13
Max Zeuner and Anders Mörtberg A Univalent Formalization of Constructive Affine Schemes 10.4230/LIPIcs.TYPES.2022.14
Kobe Wullaert, Ralph Matthes, and Benedikt Ahrens Univalent Monoidal Categories 10.4230/LIPIcs.TYPES.2022.15