thetruezau

cv

TeX 0 0

My CV in Latex.

Updated 2026-09-07 14:55:30 +00:00

LFMTP2026_slides

TeX 0 0

Updated 2026-07-23 22:29:08 +00:00

mybasicpage

CSS 0 0

My personal website.

Updated 2026-06-19 16:23:01 +00:00

dissertation

TeX 0 0

Updated 2026-02-02 21:21:11 +00:00

LambdaM

Rocq Prover 0 0

The multiary lambda calculus is an extension of the ordinary lambda calculus where an applicative term has a list of terms as arguments.

Updated 2026-01-11 22:44:57 +00:00