Giovanni Sambin

Sách
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998