Ohana Trees and Taylor Expansion for the λI-Calculus: No variable gets left behind or forgotten!

Rmy Cerda, Giulio Manzonetto, Alexis Saurin

Browse the full FSCD paper archive.