PierreLescanne

CanonicalExpression. Canonical expressions are a kind of binary expressions used especially in the implicative calculus of propositions

DependentTypesForExtensiveGames. In this repository I present a Coq developement of extensive games using dependent types, together with examples

CountingGeneratingAfffineLinearClosedLambdaterms. Haskell

Lambda-R. Lambda calculus with explicit duplication and erasure (in Agda)

DependentTypesForExtensiveGames-in-Agda. Agda

CountingAndGeneratingClosuresAndEnvironments. Counting and generating Closure and Environments in lmabda calculus