ZARZA We are Zarza, the prestigious firm behind major projects in information technology.

Examples in Relational Type Theory

Iowa Type Theory Commute

23/12/2020 22 min Temporada 2 Episodio 14

Examples in Relational Type Theory

Listen "Examples in Relational Type Theory"

Descargar episodio

Episode Synopsis

I discuss how to define internalized relational typings, implicit products, and two forms of natural number types, in RelTT.

More episodes of the podcast Iowa Type Theory Commute

Measure Functions and Termination of STLC 14/11/2025

Schematic Affine Recursion, Oh My! 22/08/2025

The Stunner: Linear System T is Diverging! 19/08/2025

Terminating Computation First? 01/08/2025

Correction: the Correct Author of the Proof from Last Episode, and an AI flop 12/05/2025

Krivine's Proof of FD, Using Intersection Types 05/05/2025

A Measure-Based Proof of Finite Developments 16/04/2025

Introduction to the Finite Developments Theorem 27/03/2025

Nominal Isabelle/HOL 31/01/2025

The Locally Nameless Representation 02/01/2025

Ver todos los episodios