3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.IR2015★ 3 cited
A Survey on Retrieval of Mathematical Knowledge
F. Guidi, C. Sacerdoti Coen
We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and…
cs.LO2006★ 2 cited
The Formal System lambda-delta
F. Guidi
The formal system lambda-delta is a typed lambda calculus that pursues the unification of terms, types, environments and contexts as the main goal. lambda-delta takes some features…