Understanding Boolean Function Learnability on Deep Neural Networks. - Anderson R. Tavares; Pedro H. C. Avelar; João M. Flach; Márcio Nicolau; Luís C. Lamb; Moshe Y. Vardi (CoRR, 2020)

A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming. - João M. Flach; Luís C. Lamb (CoRR, 2023)