A categorical semantics library in Agda.
-
Updated
Dec 22, 2019 - Agda
#
categorical-semantics
Here are 6 public repositories matching this topic...
The Combination of Dynamic and Static Typing from a Categorical Perspective
functional-programming dynamic-typing gradual-typing categorical-semantics retracts static-typing categorical-model
-
Updated
Sep 21, 2017 - TeX
A Gradually Typed Functional Programming Language with Bounded Quantification
functional-programming dynamic-typing gradual-typing categorical-semantics retracts bounded-quantification pl-implementation
-
Updated
Mar 7, 2017 - Haskell
Agda formalization of the Attack Tree Linear Logic
semantics agda attack-trees categorical-semantics linear-logic categorical-logic dialectica-spaces dialectica-categories
-
Updated
Jul 29, 2018 - Agda
Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.
-
Updated
Jun 3, 2017 - TeX
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
functional-programming lambda-calculus gradual-typing categorical-semantics linear-typing adjoint-model
-
Updated
Jun 27, 2017 - TeX
Improve this page
Add a description, image, and links to the categorical-semantics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the categorical-semantics topic, visit your repo's landing page and select "manage topics."