categorical-semantics

There are 6 repositories under categorical-semantics topic.

xieyuheng/cat
A categorical semantics library in Agda.
Language:Agda17 2 02
ct-gradual-typing/Papers
The Combination of Dynamic and Static Typing from a Categorical Perspective
Language:TeX10 4 570
ct-gradual-typing/Grady
A Gradually Typed Functional Programming Language with Bounded Quantification
Language:Haskell7 5 00
MonoidalAttackTrees/ATLL-Formalization
Agda formalization of the Attack Tree Linear Logic
Language:Agda5 2 00
vishallama/categories-and-categorical-logic
Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.
Language:TeX1 1 01
ct-gradual-typing/gradual-linear-typing
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
Language:TeX0 3 00