categorical-semantics

There are 1 repository under categorical-semantics topic.

xieyuheng / cat
A categorical semantics library in Agda.
categorical-semantics category-theory agda-library type-theory
Language:Agda 17
ct-gradual-typing / Papers
The Combination of Dynamic and Static Typing from a Categorical Perspective
dynamic-typing gradual-typing categorical-semantics retracts categorical-model static-typing functional-programming
Language:TeX 10
ct-gradual-typing / Grady
A Gradually Typed Functional Programming Language with Bounded Quantification
gradual-typing dynamic-typing categorical-semantics retracts bounded-quantification pl-implementation functional-programming
Language:Haskell 7
MonoidalAttackTrees / ATLL-Formalization
Agda formalization of the Attack Tree Linear Logic
agda linear-logic attack-trees semantics categorical-semantics categorical-logic dialectica-categories dialectica-spaces
Language:Agda 5
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.
category-theory categorical-logic lambda-calculus type-theory categorical-semantics logic
Language:TeX 1
ct-gradual-typing / gradual-linear-typing
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
gradual-typing linear-typing adjoint-model functional-programming lambda-calculus categorical-semantics
Language:TeX 0