Twenty Five Years of Constructive Type Theory

By:	Giovanni Sambin; Jan M. Smith
Publisher:	Oxford University Press Academic UK
Print ISBN:	9780191589034
eText ISBN:	9780191606939
Edition:	0
Format:	Reflowable

Select an option

eBook Features

Instant Access

Purchase and read your book immediately

Access your eTextbook anytime and anywhere

Built-in study tools like highlights and more

Listen and follow along as Bookshelf reads to you

Details

Table of Contents