Modern Perspective on Type Theory
Modern Perspective on Type Theory
T. Laan
,
Rob Nederpelt
,
F. D. Kamareddine
Details
OL Work ID
OL25615486W
Subjects
Logic, symbolic and mathematical
Find this book
Goodreads
Open Library