Login / Signup
TYPES
1993
2003
2013
2024
1993
2024
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
Joris Ceulemans
,
Andreas Nuyts
,
Dominique Devriese
A Sound and Complete Substitution Algorithm for Multimode Type Theory.
TYPES
(2023)
Greta Coraglia
,
Jacopo Emmenegger
Categorical Models of Subtyping.
TYPES
(2023)
Matthias Eberl
A Reflection Principle for Potential Infinite Models of Type Theory.
TYPES
(2023)
Front Matter, Table of Contents, Preface, Conference Organization.
TYPES
(2023)
Jelle Wemmenhove
,
Cosmin Manea
,
Jim Portegies
Classification of Covering Spaces and Canonical Change of Basepoint.
TYPES
(2023)
Michal J. Gajda
Consistent Ultrafinitist Logic.
TYPES
(2023)
Andrej Dudenhefner
,
Christoph Stahl
,
Constantin Chaumet
,
Felix Laarmann
,
Jakob Rehof
Finite Combinatory Logic with Predicates.
TYPES
(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
Joseph W. N. Paulus
,
Daniele Nantes-Sobrinho
,
Jorge A. Pérez
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes.
TYPES
(2021)
Asta Halkjær From
A Succinct Formalization of the Completeness of First-Order Logic.
TYPES
(2021)
Giulio Fellin
,
Sara Negri
,
Eugenio Orlandelli
Constructive Cut Elimination in Geometric Logic.
TYPES
(2021)
Georgi Nakov
,
Fredrik Nordvall Forsberg
Quantitative Polynomial Functors.
TYPES
(2021)
Yuta Takahashi
Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus.
TYPES
(2021)
Front Matter, Table of Contents, Preface, Conference Organization.
TYPES
(2021)
Pietro Di Gianantonio
,
Marina Lenisa
Principal Types as Lambda Nets.
TYPES
(2021)
Fahad F. Alhabardi
,
Arnold Beckmann
,
Bogdan Lazar
,
Anton Setzer
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control.
TYPES
(2021)
Christa Jenkins
,
Andrew Marmaduke
,
Aaron Stump
Simulating Large Eliminations in Cedille.
TYPES
(2021)
William J. DeMeo
,
Jacques Carette
A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory.
TYPES
(2021)
István Donkó
,
Ambrus Kaposi
Internal Strict Propositions Using Point-Free Equations.
TYPES
(2021)
Rafaël Bocquet
Strictification of Weakly Stable Type-Theoretic Structures Using Generic Contexts.
TYPES
(2021)
Thibaut Benjamin
Formalisation of Dependent Type Theory: The Example of CaTT.
TYPES
(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
Front Matter, Table of Contents, Preface, Conference Organization.
TYPES
(2020)
Pawel Urzyczyn
Duality in Intuitionistic Propositional Logic.
TYPES
(2020)
Asta Halkjær From
Synthetic Completeness for a Terminating Seligman-Style Tableau System.
TYPES
(2020)
Harry Maclean
,
Zhaohui Luo
Subtype Universes.
TYPES
(2020)
Guido De Luca
,
Carlos Luna
Towards a Certified Reference Monitor of the Android 10 Permission System.
TYPES
(2020)
Andreas Abel
On Model-Theoretic Strong Normalization for Truth-Table Natural Deduction.
TYPES
(2020)
Furio Honsell
,
Marina Lenisa
,
Ivan Scagnetto
Λ-Symsym: An Interactive Tool for Playing with Involutions and Types.
TYPES
(2020)
Reynald Affeldt
,
David Nowak
Extending Equational Monadic Reasoning with Monad Transformers.
TYPES
(2020)
Gabriel Hondet
,
Frédéric Blanqui
Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory.
TYPES
(2020)
volume 175, 2020
25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway.
TYPES
175 (2020)