TYPES

Keyphrases

Publications

volume 269, 2023

28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France TYPES 269 (2023)

2022

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

volume 239, 2022

27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference). TYPES 239 (2022)

2021

volume 188, 2021

26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy. TYPES 188 (2021)

2020

volume 175, 2020

25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway. TYPES 175 (2020)

2019

volume 130, 2019

24th International Conference on Types for Proofs and Programs, TYPES 2018, June 18-21, 2018, Braga, Portugal. TYPES 130 (2019)