Formalising mathematics in UTT: fundamentals and case studies (1994)

Cached

Download Links

by Gilles Barthe
Citations:1 - 0 self