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

Iowa Type Theory Commute

Iowa Type Theory Commute

Por: Aaron Stump

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

178 episodios disponibles

Latest episodes of the podcast Iowa Type Theory Commute

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

POPLmark Reloaded, Part 2 22/12/2024

POPLmark Reloaded, Part 1 22/12/2024

Introduction to Formalizing Programming Languages Theory 25/11/2024

Turing's proof of normalization for STLC 20/05/2024

Introduction to normalization for STLC 13/05/2024

The curious case of exponentiation in simply typed lambda calculus 04/05/2024

Arithmetic operations in simply typed lambda calculus 04/05/2024

More on basics of simple types 29/04/2024

Begin Chapter on Simple Type Theory 19/04/2024

Some advanced examples in DCS 24/09/2023

DCS compared to termination checkers for type theories 18/09/2023

1 2 3 ... 9 Siguiente › Última »