Formalising mathematics in type theory: fundamentals and case studies (1995)

by G Barthe