EasyChair Smart SlideUser guide
Conference: TYPES 2023 (29th International Conference on Types for Proofs and Programs)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Coinductive Control of Inductive Data Types

Coinductive Control of Inductive Data Types

Paige North and Maximilien Péroux

On the Metatheory of Subtype Universes

On the Metatheory of Subtype Universes

Felix Bradley and Zhaohui Luo

Finite Combinatory Logic Extended by a Boolean Query Language for Composition Synthesis

Finite Combinatory Logic Extended by a Boolean Query Language for Composition Synthesis

Andrej Dudenhefner, Felix Laarmann, Jakob Rehof and Christoph Stahl

Enriched Categories in Univalent Foundations

Enriched Categories in Univalent Foundations

Niels van der Weide

A Lock Calculus for Multimode Type Theory

A Lock Calculus for Multimode Type Theory

Andreas Nuyts

Lax-Idempotent 2-Monads, Degrees of Relatedness, and Multilevel Type Theory

Lax-Idempotent 2-Monads, Degrees of Relatedness, and Multilevel Type Theory

Andreas Nuyts

Presentations in this collection: 6
Copyright © 2002 – 2026 EasyChair