TYPES

Keyphrases

Publications

volume 303, 2024

29th International Conference on Types for Proofs and Programs, TYPES 2023, June 12-16, 2023, ETSInf, Universitat Politècnica de València, Spain TYPES 303 (2024)

2023

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

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