2 results  save search

hal-01097602v1  Journal articles
Ali AssafAlejandro Díaz-CaroSimon PerdrixChristine TassonBenoît Valiron. Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩
inria-00636797v1  Journal articles
Steve KremerAntoine MercierRalf Treinen. Reducing Equational Theories for the Decision of Static Equivalence
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.197-217. ⟨10.1007/s10817-010-9203-0⟩