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.

179 episodios disponibles

Latest episodes of the podcast Iowa Type Theory Commute

Mostrando página 2 de 9

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

Getting started with DCS 09/09/2023

Introduction to DCS 03/09/2023

Semantics of subtyping 23/07/2023

More on type inference for simple subtypes 15/07/2023

Subtyping, the golden key 08/07/2023

Type inference with simple subtypes 29/06/2023

Basics of subtyping 21/06/2023

Begin chapter on subtyping 20/06/2023

Last episode discussing Observational Equality Now for Good 13/04/2023

More on observational type theory 23/03/2023

Introduction to Observational Type Theory 05/03/2023

Interjection: The Liquid Tensor Experiment 02/03/2023

Extensional Martin-Loef Type Theory 03/02/2023

Begin chapter on extensionality 24/01/2023

Papers from Formal Methods for Blockchains 2021 01/01/2023

Mi-Cho-Coq: Michelson formalized and applied, in Coq 02/12/2022

Verification of Tezos smart contracts with K-Michelson 10/11/2022

Start of Season 4: Formal Methods for Blockchain 07/11/2022

Separation Logic II: recursive predicates 15/09/2022

« Primera ‹ Anterior 1 2 3 4 ... 9 Siguiente › Última »