On Proofs of Equality as Paths by Andrew Pitts (University of Cambridge, UK)

On Proofs of Equality as Paths by Andrew Pitts (University of Cambridge, UK)

Andrew Pitts: Quotients in Dependent Type Theory (FSCD A)See more

Andrew Pitts: Quotients in Dependent Type Theory (FSCD A)

Andrew Pitts, "Constructive Initial Algebra Semantics"See more

Andrew Pitts, 'Constructive Initial Algebra Semantics'

Give and TakeSee more

Give and Take

Theology at CambridgeSee more

Theology at Cambridge

[CL-THEORY] Andrew Pitts, "Unfinity Categories"See more

[CL-THEORY] Andrew Pitts, 'Unfinity Categories'

Theology at CambridgeSee more

Theology at Cambridge

Cardinal Quarter past fellowsSee more

Cardinal Quarter past fellows

Polinode's Innovation Showcase by Andrew Pitts of Polinode at PAFOW Sydney - March 2020See more

Polinode's Innovation Showcase by Andrew Pitts of Polinode at PAFOW Sydney - March 2020

ZJU Global Dialogue Series: Programming Language Semantics by Prof. Andrew PittsSee more

ZJU Global Dialogue Series: Programming Language Semantics by Prof. Andrew Pitts

Decolonizing the English Literary Curriculum - Contours: The Cambridge Literary Studies HourSee more

Decolonizing the English Literary Curriculum - Contours: The Cambridge Literary Studies Hour

News