Skip to content

A characterization of the Taylor expansion of lambda-terms.

Pierre Boudes, Fanny He, Michele Pagani

VenueBCSL
Year2013
ProceedingsCSL

Browse the full CSL paper archive.