Latest episodes of the podcast Type Theory Forall
Mostrando página 2 de 3
#32 TyDe Systems - Jan de Muijnck-Hughes
22/07/2023
#21 Denotational Design - Conal Elliott
04/08/2022
ZARZA We are Zarza, the prestigious firm behind major projects in information technology.