alvaro-pintado

alvaro-pintado's Stars

• jozefg/classical-realizability

  Notes on a realizability model for a classical logic

  Language:TeX3

• jozefg/effective-topos

  Notes on the effective topos and related subjects.

  Language:TeX2

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.1k119

• avigad/lamr

  Logic and Mechanized Reasoning

  Language:Lean8220

• andrejbauer/notes-on-realizability

  Lecture notes on realizability

  Language:TeX654

• tomdjong/MGS-domain-theory

  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023

  Language:TeX445