Title: Clark’s Shifted Rayleigh Filter and Other Adventures in Applied Stochastic Analysis Abstract: Martin Clark is best known among researchers for his foundational work on stochastic processes, ...

The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...