On the relation between a type theoretic and a logical formulation of the theory of constructions

197848 pages

1 editions

Bookshelves

0 readers

No users with this book on their shelves. Maybe you could be the first.

0 discussions

0 quotes

0 reviews

0 lists

No lists containing this book.

On the relation between a type theoretic and a logical formulation of the theory of constructions | lit.salon