PierreLescanne/CountingGeneratingAfffineLinearClosedLambdaterms PierreLescanne/CountingGeneratingAfffineLinearClosedLambdaterms

  • Stars
    star
    2
  • Language
    Haskell
  • Created almost 8 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
PierreLescanne/CountingGeneratingAfffineLinearClosedLambdaterms
github

PierreLescanne

Reviews

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

Repository Details

More Repositories

1

CanonicalExpression

Canonical expressions are a kind of binary expressions used especially in the implicative calculus of propositions
Haskell
4
star
2

DependentTypesForExtensiveGames

In this repository I present a Coq developement of extensive games using dependent types, together with examples
Coq
2
star
3

DependentTypesForExtensiveGames-in-Agda

Agda
1
star
4

CountingAndGeneratingClosuresAndEnvironments

Counting and generating Closure and Environments in lmabda calculus
Haskell
1
star
5

Lambda-R

Lambda calculus with explicit duplication and erasure (in Agda)
Agda
1
star