Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in interaction-nets

How do you translate from lambda terms to interaction nets?

haskell functional-programming lambda-calculus interaction-nets

Is it usual for interaction nets to leave piles of redundant fans?

haskell lambda functional-programming lambda-calculus interaction-nets