Cover Image

History and philosophy of constructive type theory /

Show other versions (1)
Bibliographic Details
Main Author: Sommaruga, Giovanni
Format: Book
Language:English
Published: Dordrecht ; Boston : Kluwer, [2000]
Series:Synthese library ; v. 290.
Subjects:
Type theory.
Search Result 1
Cover Image
by Sommaruga, Giovanni
Published 2000
Connect to the full text of this electronic book
eBook
Show all versions (2)