Resenhas - Programming in Martin-Löf's Type Theory: An Introduction

Veja as resenhas sobre este livro