DMCA

(Typed) λ-Calculus and Formalising Mathematics à la de Bruijn (2008)

by Fairouz Kamareddine