Andrew Pitts, "Constructive Initial Algebra Semantics"

Andrew Pitts, "Constructive Initial Algebra Semantics"See more

Initial algebras from pattern matchingSee more

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

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

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

ACCL 2021 #2. Classical propositional logic: Boolean algebras & algebraic semantics | Evgeny ZolinSee more

Andrew Pitts, Axiomatizing cubical sets models of univalent foundationsSee more

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

Algebraic semantics (computer science) | Wikipedia audio articleSee more

7. Layered Knowledge RepresentationsSee more

POL SCI 702 - 08 Models for Binary Dependent Variables: The Latent Variable ApproachSee more

A General Algebraic Semantics for Sentential Logics Lecture Notes in LogicSee more

Graph Searching 6 DFS Parenthesis Property and Edge ClassificationSee more

Five Stages of Accepting Constructive MathematicsSee more

SEMANTICS-1: What is Semantics?See more