8 citations · 14 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021★ 8 cited
A modular construction of type theories
Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger +2
The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several…
cs.LO2019★ 6 cited
Learning definable hypotheses on trees
Emilie Grienenberger, Martin Ritzert
We study the problem of learning properties of nodes in tree structures. Those properties are specified by logical formulas, such as formulas from first-order or monadic second-ord…