Sciweavers

Share
19 search results - page 1 / 4
» wollic 2009
Sort
View
WOLLIC
2009
Springer
9 years 2 months ago
Observational Completeness on Abstract Interpretation
Gianluca Amato, Francesca Scozzari
WOLLIC
2009
Springer
9 years 2 months ago
The Arrow Calculus as a Quantum Programming Language
Juliana Kaizer Vizzotto, André Rauber Du Bo...
WOLLIC
2009
Springer
9 years 2 months ago
Recognizability in the Simply Typed Lambda-Calculus
Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...
Sylvain Salvati
books