Vincent van Oostrom
目次。 Introduction λ-calculus From terms to nets Interaction net reduction From nets to terms Static correctness Directed nets Tree nets The automaton Reading back trees Binding loops λ-nets △≅▲ Dynamic correctness Related and further wor…
http://www.phil.uu.nl/~oostrom/