2 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Guy McCusker
Scott's graph model is a lambda-algebra based on the observation that continuous endofunctions on the lattice of sets of natural numbers can be represented via their graphs. A grap…