allen_liao
Allen Liao

Textbook

#2

Cover 8

1999 • 1 Reader

@allen_liao
Added on

#3

Type Theory and Formal Proof: An Introduction

2014 • 4 Readers • 3.5

@allen_liao
Added on

#4

Basic Proof Theory

4 Cambridge Tracts in Theoretical Computer Science

1996 • 343 pages