Skip to content

Instantly share code, notes, and snippets.

@DuqueDeTuring

DuqueDeTuring/gist:b07c3fa324d139628b61

Last active August 29, 2015 14:20
Show Gist options
  • Save DuqueDeTuring/b07c3fa324d139628b61 to your computer and use it in GitHub Desktop.
Save DuqueDeTuring/b07c3fa324d139628b61 to your computer and use it in GitHub Desktop.
Download ZIP
Enlaces sobre Tipos, Lógica
Raw
gistfile1.md

Este enlace es simplemente fantástico Robert Harper, Benjamin Pierce (entre otros) enseñado sobre: Logical relations, Category theory foundations, Proofs as Processes, Polarization and focalization, Type theory foundations, Monads, Compiler verification, Language-based security, Proof theory foundations, Software foundations in Coq.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment