eBook Title : A Modern Perspective on Type Theory

Secondary Title :

Parent Database : Springer eBooks

DOI :

ISSN :

ISBN : 978-1-4020-2335-4