heades/coLNL heades/coLNL

  • Stars
    star
    1
  • Language
    TeX
  • Created over 8 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
heades/coLNL
github

heades

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Cointuitionistic Adjoint Logic

More Repositories

1

System-F-Coq

System F in coq.
Coq
19
star
2

cut-fill-agda

Agda sources used in my paper with Valeria de Paiva
Agda
8
star
3

ott-modified

This is a modified version of Ott 0.25
OCaml
4
star
4

Agda-LLS

An Implementation of Various Linear Logics in Agda
Haskell
3
star
5

law

The Lawvere Categorical Logic Library
Agda
2
star
6

LL-for-Linguists-

TeX
2
star
7

panfeed

A tool for managing RSS+Atom feeds for Pandoc based sites.
Haskell
2
star
8

FILLdialogical

Game semantics for FILL in the style of Lorenzen Games
TeX
1
star
9

substruct-logic-security-bib

This is a bibliography of papers using substructural logics in security
1
star
10

graphy

A simple way to create images of labeled/unlabeled directed/undirected graphs based on Graphviz and Haskell.
Haskell
1
star
11

dialectica-spaces

This is a formalization of dialectica spaces.
Agda
1
star
12

multicategories

A note on multicategories.
TeX
1
star
13

cat-theory

Category Theory in Coq
Coq
1
star