Riccardo Pucella;Stephen Chong
Cornell Univ;Cornell Univ
An introduction to mathematical logic and type theory: to truth through proof
Type-theoretical grammar