On the relation between a type theoretic and a logical formulation of the theory of constructions
We couldn't estimate the reading time for this book.
Author
Contributions
- Göteborgs universitet - Contributor
Publication
1978 - , [s.l.], Sweden
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- OCLC Control Number65256466
- Open LibraryOL57248101M
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!