GitHub - verimath/lambda: Untyped Lambda Calculus as Initial Object in Cat of Exponential Monads · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
src		src
Make		Make
configure.sh		configure.sh

About

Untyped Lambda Calculus as Initial Object in Cat of Exponential Monads

exponential lambda-calculus monads

Custom properties

1 star

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages