3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Clemens Grabmayer, Vincent van Oostrom
We report on work in progress on 'nested term graphs' for formalizing higher-order terms (e.g. finite or infinite lambda-terms), including those expressing recursion (e.g. terms in…