作者的書籍：Benjamin C. Pierce - BookPine

Software Foundations, Volume 1: Logical Foundations

Software Foundations, Volume 1: Logical Foundations

Benjamin C. Pierce

Software Foundations, Volume 2: Programming Language Foundations

Software Foundations, Volume 2: Programming Language Foundations

Benjamin C. Pierce

Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

Benjamin C. Pierce

Types and Programming Languages

Types and Programming Languages

Benjamin C. Pierce

Типы в языках программирования

Типы в языках программирования

Benjamin C. Pierce

Software Foundations

Software Foundations

Benjamin C. Pierce

Advanced Topics In Types And Programming Languages

Advanced Topics In Types And Programming Languages

Benjamin C. Pierce

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings

Benjamin C. Pierce

Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists

Benjamin C. Pierce

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Lecture Notes in Computer Science)

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Lecture Notes in Computer Science)

Benjamin C. Pierce

Software Foundations (Volume 4): QuickChick: Property-Based Testing in Coq

Software Foundations (Volume 4): QuickChick: Property-Based Testing in Coq

Leonidas Lampropoulos

Basic Category Theory for Computer Scientists (Foundations of Computing)

Basic Category Theory for Computer Scientists (Foundations of Computing)

Benjamin C. Pierce