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 4 de 9

Linear conjunctions and disjunctions 28/10/2021

A taste of linear logic 21/10/2021

Structural rules, or the Curse of the Bound Variable 12/10/2021

Why Cut Elimination is More Complicated than Normalization 05/10/2021

Introduction to Cut Elimination 29/09/2021

Normalization of detours for implication inferences 19/09/2021

Normalization in natural deduction 18/09/2021

A Brief Look at Sequent Calculus 15/09/2021

Natural deduction: or, the bad news! 14/09/2021

Implication rules for natural deduction 14/09/2021

Natural Deduction 11/09/2021

Rules of proof, standard proof systems 08/09/2021

Different proof systems, distinguishing logical rules from domain axioms 01/09/2021

Introduction to Proof Theory (Start of Season 3) 31/08/2021

Modula-2 27/07/2021

Decomposing recursions using algebras 12/07/2021

Reassembling datatypes from functors using a fixed-point 10/07/2021

Decomposing datatypes into functors 03/07/2021

Modular datatypes: introducing Swierstra's paper "Datatypes à la Carte" 24/06/2021

Modules for Mathematical Theories (MMT) 08/06/2021

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