Types for Proofs and Programs
Types for Proofs and Programs
Bengt Nordström
,
Jan Smith
,
Peter Dybjer
4.0
(1)
on Goodreads
Details
OL Work ID
OL22566571W
Find this book
Goodreads
Open Library