Calibre-Web | Category: type theory

Discover (Random Books)

Hacker Monthly #65

Hacker Monthly #65

Hacker Monthly (65)

A Bug Hunter's Diary

A Bug Hunter's Diary

Dear Philosophers, You Can Trust the Feminist Consensus Gender-Critical Radical Feminism is Bogus Majestic Equality

Dear Philosophers, You Can Trust the Feminist Consensus Gender-Critical ...

The Menace From Earth

The Menace From Earth

Robert A. Heinlein

Category: type theory

Haskell Programming from first principles

Haskell Programming from first principles

Chris Allen & Julie Moronuki