4 citations · 6 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016★ 1 cited
Typing weak MSOL properties
Sylvain Salvati, Igor Walukiewicz
We consider lambda-Y-calculus as a non-interpreted functional programming language: the result of the execution of a program is its normal form that can be seen as the tree of call…
cs.LO2015★ 4 cited
Using models to model-check recursive schemes
Sylvain Salvati, Igor Walukiewicz
We propose a model-based approach to the model checking problem for recursive schemes. Since simply typed lambda calculus with the fixpoint operator, lambda-Y-calculus, is equivale…