PhD student in Computer Science
-
Inria - ENS | PSL
- Paris, France
- https://denismazzucato.github.io
Highlights
- Pro
Pinned Loading
-
-
-
-
noninterference-lean
noninterference-lean PublicA Sound Type System for Secure Flow Analysis coded in Lean
Lean 1
-
-
type-theory.lagda.md
type-theory.lagda.md 1# agda
2workbook for TypeTheory course (Maietti, Sambin)
34```agda
5module TypeTheory where
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.