Guillaume Melquiond | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Thibaut Balabonski
2 publications
Antoine Lanco
1 publication

research

∙ 11/02/2021

A strong call-by-need calculus

We present a call-by-need λ-calculus that enables strong reduction (that...

0 Thibaut Balabonski, et al. ∙

research

∙ 08/06/2021

Plotting in a Formally Verified Way

An invaluable feature of computer algebra systems is their ability to pl...

0 Guillaume Melquiond, et al. ∙